Centaur

Centaur: the system. 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.


References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Miller, Dale: Mechanized metatheory revisited (2019)
  2. van der Hoeven, Joris; Lecerf, Grégoire; Raux, Denis: Preserving syntactic correctness while editing mathematical formulas (2017)
  3. Bettini, Lorenzo: Implementing type systems for the IDE with Xsemantics (2016)
  4. van der Hoeven, Joris: Towards semantic mathematical editing (2015)
  5. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2013)
  6. Gacek, Andrew; Miller, Dale; Nadathur, Gopalan: Nominal abstraction (2011)
  7. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2011)
  8. Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José: A rewriting logic approach to operational semantics (2009)
  9. Muller, Pierre-Alain; Fondement, Frédéric; Fleurey, Franck; Hassenforder, Michel; Schnekenburger, Rémi; Gérard, Sébastien; Jézéquel, Jean-Marc: Model-driven analysis and synthesis of textual concrete syntax (2008) ioport
  10. Hills, Mark; Şerbănuţă, Traian; Roşu, Grigore: A rewrite framework for language definitions and for generation of efficient interpreters (2007)
  11. Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso: SOS formats and meta-theory: 20 years after (2007)
  12. Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José: A rewriting logic approach to operational semantics (extended abstract) (2007)
  13. Barthe, Gilles; Courtieu, Pierre; Dufay, Guillaume; Melo de Sousa, Simão: Tool-assisted specification and verification of typed low-level languages (2005)
  14. Paige, Robert: An NSF proposal (2005)
  15. Roisin, C.; Claves, P.; Akpotsui, E.: Implementing the cut-and-paste operation in a structured editing system (1997)
  16. Bertot, Janet; Bertot, Yves: CtCoq: a system presentation (1996)
  17. Cassez, Franck; Roux, Olivier: Compilation of the ELECTRE reactive language into finite transition systems (1995)
  18. Laville, Alain: Comparison of priority rules in pattern matching and term rewriting (1991)
  19. Snelting, Gregor: The calculus of context relations (1991)