Searching for "CENTAUR The System." – sorted by Relevance.
-
CENTAUR: the system
- CENTAUR: the system P. Borras, D. Cl'ement SEMA, Paris and SEMA, Sophia--Antipolis Th
- Cited by 119 (1 self) – Add To MetaCart
-
A Document Manipulation System Based on Natural Semantics
- manipulation. We use the Centaur system as a formal tool to model and implement logical and physical document
- Cited by 2 (1 self) – Add To MetaCart
-
Towards a Definition of Eiffel Using Centaur
- , or axiomatic style, using the Natural Semantics approach [7] as implemented by the Centaur system [1]. Besides
- Add To MetaCart
-
Distributed Programming Environments: An Example of a Message Protocol
- . This message protocol has been implemented and validated in the centaur system. (R'esum'e : tsvp) UNSA
- Add To MetaCart
-
Implementation of an Interpreter for a Parallel Language in Centaur
- of an interpreter for the parallel language ESTEREL in the CENTAUR system. The dynamic semantics of the language
- Cited by 7 (2 self) – Add To MetaCart
-
A Formal Executable Semantics for Java
- is directly executable using the Centaur system. An interactive programming environment, which provides
- Cited by 16 (2 self) – Add To MetaCart
-
Integrating Natural Semantics and Attribute Grammars: the Minotaur System
- of the Centaur system and the FNC-2 system, two systems widely used to specify syntax and semantics
- Cited by 6 (1 self) – Add To MetaCart
-
Language-Based Document Processing
- according to the Tioga or the L aT E X layout model) and other semantic tools, the Centaur system
- Add To MetaCart
-
From a Formal Dynamic Semantics of Sisal to a Sisal Environment
- inference rules within the Centaur system, a generic specification environment. Sisal is a strongly typed
- Cited by 1 (0 self) – Add To MetaCart
-
Framework and Multi-Formalism: the ASAR Project
- Architectural Synthesis. This paper describes the Centaur system, used to build this framework, and the common
- Cited by 1 (0 self) – Add To MetaCart

