MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "CENTAUR The System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

102 documents found, showing 1 through 10. Next 10 →

ATOM

CENTAUR: the system
by P. Borras, D. Clément, Th. Despeyrouz, J. Incerpi, G. Kahn, B. Lang, V. Pascual — 1988
…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
by Dennis S. Arnon, Isabelle Attali, Paul Franchi-Zannettacci — 1995 — in Proceedings of the First International Workshop on Principles of Document Processing
… 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
by Isabelle Attali, Denis Caromel, Michael Oudshoorn
…, 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
by Anne-marie Dery, Anne-marie Dery, Laurence Rideau, Laurence Rideau, Projet Croap — 1994
…. 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
by Yves Bertot, Inria Sophia Antipolis — 1990 — Proceedings of the European Symposium On Programming
… 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
by Isabelle Attali, Denis Caromel, Marjorie Russo — 1990 — Princeton University
… 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
by Calcul Symbolique, Isabelle Attali Didier, Isabelle Attali, Didier Parigot, Didier Parigot — 1994 — Tech. Rep. 2339, INRIA Sophia Antipolis
… 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
by E De Recherche, Et En Automatique, Sophia Antipolis, Calcul Symbolique Programmation, Dennis S. Arnon, S. Arnon, Isabelle Attali, Isabelle Attali, Paul Franchi-zannettacci, Paul Franchi-zannettacci — 1992
… 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
by Isabelle Attali, Denis Caromel, Andrew L. Wendelborn — 1995 — IN 28TH HAWAII INTERNATIONAL CONFERENCE OF SYSTEM SCIENCES (HICSS), MAUI
… 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
by P. Asar — 1995 — Proc. of the 4th International IFIP WG 10.5 Working Conference on Electronic Design Automation Frameworks
… Architectural Synthesis. This paper describes the Centaur system, used to build this framework, and the common…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB