> 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: 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) Support The project is supported in part by: [Constraints] [Negation] [Meta-interpreters] [Media Analysis] |
||||
Charles
University |
|