Geodesic
Extendible meta-interpreters
Kybernetika, Tome 33 (1997) no. 3, pp. 291-310 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68N17, 68N99, 68T35 
@article{KYB_1997_33_3_a4,
     author = {Bart\'ak, Roman and \v{S}t\v{e}p\'anek, Petr},
     title = {Extendible meta-interpreters},
     journal = {Kybernetika},
     pages = {291--310},
     year = {1997},
     volume = {33},
     number = {3},
     zbl = {0907.68186},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1997_33_3_a4/}
}
TY  - JOUR
AU  - Barták, Roman
AU  - Štěpánek, Petr
TI  - Extendible meta-interpreters
JO  - Kybernetika
PY  - 1997
SP  - 291
EP  - 310
VL  - 33
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/KYB_1997_33_3_a4/
LA  - en
ID  - KYB_1997_33_3_a4
ER  - 
%0 Journal Article
%A Barták, Roman
%A Štěpánek, Petr
%T Extendible meta-interpreters
%J Kybernetika
%D 1997
%P 291-310
%V 33
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_1997_33_3_a4/
%G en
%F KYB_1997_33_3_a4
Barták, Roman; Štěpánek, Petr. Extendible meta-interpreters. Kybernetika, Tome 33 (1997) no. 3, pp. 291-310. http://geodesic.mathdoc.fr/item/KYB_1997_33_3_a4/

[1] H. Abramson, M. H. Rogers (eds): Meta-Programming in Logic Programming. MIT Press, Cambridge, MA 1989. | MR

[2] R. Barták: Meta-interpretation of Logic Programs. Diploma Thesis, Faculty of Mathematics and Physics, Charles University, Prague 1993. (In Czech.)

[3] R. Barták, P. Štěpánek: Meta-interpreters and Expert Systems. Technical Report No. 115, Department of Computer Science, Faculty of Mathematics and Physics, Charles University, Prague 1995.

[4] R. Barták: Expert Systems Based on Constraints. Doctoral Dissertation, Faculty of Mathematics and Physics, Charles University, Prague 1997. (In Czech.)

[5] R. Barták: A plug-in architecture of constraint hierarchy solvers. In: Proceedings of PACT'97, London 1997, pp. 359-371.

[6] W. F. Clocksin, C. S. Mellish: Programming in PROLOG. Springer-Verlag, Berlin 1981. | Zbl

[7] A. Jain L. Sterling, M. Kirschenbaum: Towards reusability based upon similar computational behaviour. In: Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering, Rockville 1995.

[8] A. Lakhotia L. Sterling, D. Bojantchev: Development of a PROLOG tracer by stepwise enhancement. In: Proceedings of the Third International Conference on Practical Applications of PROLOG, Paris 1995.

[9] M. Meier, P. Brisset: Open Architecture for CLP. TR ECRC-95-10, ECRC, 1995.

[10] N. J. Nilsson: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York 1971.

[11] K. Parsaye, M. Chignell: Expert Systems for Experts. Wiley, New York 1988.

[12] L. Sterling: Meta-interpreters: The flavors of logic programming?. In: Proceedings of Workshop on Foundation of Logic Programming and Deductive Databases, Washington 1986.

[13] L. Sterling: Constructing meta-interpreters for logic programs. In: Advanced School on Foundations of Logic Programming, Alghero 1988.

[14] L. Sterling A. Jain, M. Kirschenbaum: Composition based on skeletons and techniques. Work presented at ILPS '93 Post Conference Workshop on Methodologies for Composing Logic Programs.

[15] L. Sterling, M. Kirschenbaum: Applying techniques to skeletons. In: Constructing Logic Programs (J. M. J. Jacquet, ed.), Wiley, New York 1993.

[16] L. Sterling, A. Lakhotia: Composing PROLOG meta-interpreters. In: Proceedings of 5th International Logic Programming Conference, Seattle 1988.

[17] L. Sterling, E. Shapiro: The Art of PROLOG. MIT Press, Cambridge, MA 1986. | Zbl

[18] M. Wilson, A. Borning: Hierarchical Constraint Logic Programming. TR 93-01-02a, Department of Computer Science and Engineering, University of Washington 1993. | MR | Zbl

[19] L. U. Yalginalp, L. Sterling: An Integrated Interpreter for Explaining PROLOG'S Successes and Failures. Case Western Reserve University, CES TR-88-04, 1988.