Centaur: the system
- 3 November 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 24 (2) , 14-24
- https://doi.org/10.1145/64140.65005
Abstract
This paper describes the organization of the CENTAUR system and its main components. The system is a generic interactive environment. When given the formal specification of a particular programming language-including syntax and semantics — it produces a language specific environment. This resulting environment includes a structure editor, an interpreter/debugger and other tools, all of which have graphic interfaces. CENTAUR is made of three parts: a database component, that provides standardized representation and access to formal objects and their persistent storage; a logical engine that is used to execute formal specifications; an object-oriented man-machine interface that gives easy access to the system's functions. CENTAUR is essentially written in Lisp (Le_Lisp). The logical engine is Prolog (Mu-Prolog). The man-machine interface is built on top of the virtual graphics facility of Le_Lisp, itself primarily implemented on top of X-Windows.Keywords
This publication has 5 references indexed in Scilit:
- Partial evaluation with inference rulesNew Generation Computing, 1988
- LELISP, a portable and efficient LISP systemPublished by Association for Computing Machinery (ACM) ,1984
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Metal: a formalism to specify formalismsScience of Computer Programming, 1983
- The Cornell program synthesizerCommunications of the ACM, 1981