> INTERPRETERS <
Meta-interpreters
Meta-programming is a well-known technique widely used in logic programming and artificial intelligence. This technique is based on idea of using program structures as data for program.
Meta-interpreter of a given programming language (or its subset) is an interpreter of that language (or the subset) that is written in the interpreted language. Meta-interpreters are mainly used to change/enhance the behaviour of underlying interpreter. The easiness of writing meta-interpreters is exploited for programming software prototypes and testing research ideas.
The
Aim of the Project
The aim of the project is to design general techniques for writing extendible (open) meta-interpreters which can be easily customized for various purposes. This project makes an underlying framework for our other research activities. The project covers:
- methodology
- implementation
Software
The software developed within this project is used in our other research activities, mainly to implement HCLP system and Constructive Negation. The basic program structures can also be found in publications.
Publications
Extendible Meta-Interpreters (download)
Barták, R. and Stepánek, P., in: KYBERNETIKA, Volume 33 (1997), Number 3, pages 291-310
Mega-Interpreters and Expert Systems (download)
Barták, R. and Stepánek, P., presented as poster at PAP '96, London, April 1996
Meta-Interpreters and Expert Systems
Barták, R. and Stepánek, P., Tech. Report No 115, Department of Theoretical Computer Science, Charles University, Prague, October 1995
Meta-interpretation of logic programs
Barták, R., Diploma Thesis, Charles University, Prague, 1993 (in Czech)
Support
The project is supported in part by:
- Faculty of Mathematics and Physics, Charles University
- Grant Agency of Czech Republic under the contract No 201/96/0197.
The other supporters are very welcomed, especially from the industry area. If you want to support this project (and exploit the research results directly), please contact me.
[Constraints] [Negation] [Meta-interpreters] [Media Analysis]
Charles
University
Malostranské nám. 25
Praha 1
CZECH REPUBLIC
