CENTAUR: The system

Proceedings of the 3rd ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 1988

Volumn , Issue , 1989, Pages 14-24

  Borras, M P ^a   Clement, D ^a   Despeyroux, Th ^b,c   Incerpi, J ^b,c   Kahn, G ^b,c   Lang, B ^b,c   Pascual, V ^b,c  

^a SEMA   (United States)

^b INRIA   (France)

^c INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINES; FORMAL SPECIFICATION; LISP (PROGRAMMING LANGUAGE); MAN MACHINE SYSTEMS; OBJECT ORIENTED PROGRAMMING; OBJECT-ORIENTED DATABASES; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

DATABASE COMPONENTS; FORMAL OBJECTS; GRAPHIC INTERFACES; INTERACTIVE ENVIRONMENTS; MAN MACHINE INTERFACE; OBJECT ORIENTED; PERSISTENT STORAGE; STRUCTURE EDITORS;

SOFTWARE DESIGN;

EID: 84977599473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/64135.65005     Document Type: Conference Paper

References (25)

1. BERGSTRA J.A. J. HEERING, P. KLINT "ASF-an algebraic specification formalism", Report CS-R8705, Centre for Mathematics and Computer Science, Amsterdam, 1987.
2. BERRY G., P. COURONNE, G. GONTHIER, "Synchronous Programming of reactive systems: an introduction to ESTEREL", in Proceedings of the First France-Japan Symposium on Artificial Intelligence and Computer Science, Tokyo October 1986, North-Holland.
3. CHAILLOUX J., M. DEVIN, J-M. HULLOT, "Le-Lisp, a portable and efficient Lisp system", Proceedings ACM Symposium on Lisp and Functional Programming, Austin, Texas, 1984.
4. rd Annual Report, Esprit Project 348, 1987.
5. CLEMENT D., INCERPI J., "Specifying the Behavior of Graphical Objects Using Esterel", INRIA Rapport de Recherche 836, April 1988.
6. DESPEYROUX T., "Executable Specification of Static Semantics", in Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, June 1984.
7. DEVIN M. et al., "Aida: environnement de développement d'applications", ILOG, Paris, 1987.
8. DONZEAU-GOUGE V., G. KAHN, G. HUET, B. LANG, J-J. LÉVY, "Programming environments based on Structured Editors: the MENTOR experience", in Interactive Programming Environments, D.R. Barstow, H.E. Shrobe and E. Sandewall (Eds.), McGraw-Hill, 1984.
9. DONZEAU-GOUGE V., G. KAHN, B. LANG, B. MÉLÈSE, E. MORCOS, "Outline of a tool for document manipulation", Proceedings of IF IP Congress 1983, Paris, North-Holland.
10. GETTYS J., R. NEWMAN, R.S. SCHEIFLER, "Xlib-C Language X Interface, Protocol Version 11", MIT project Athena, February 1987.
11. HASCOET L., "Transformations automatiques de specifications sémantiques. Application: un vérificateur de types incrémental" Thèse, Université de Nice, March 1987.
12. HASCOET L., "Partial evaluation with Inference Rules", INRIA Rapport de Recherche 817, April 1988. To appear in New Generation Computing.
13. HEERING J., P.R.H. HENDRIKS, P. KLINT, J. REKERS, "SDF Reference Manual", Centre for Mathematics and Computer Science, Amsterdam, 1987.
14. HEERING J., P. KLINT, J. REKERS, "Incremental generation of lexical scanners", Centre for Mathematics and Computer Science, Amsterdam, 1987.
15. HEERING J., P. KLINT, J. REKERS, "Incremental generation of parsers", Centre for Mathematics and Computer Science, Amsterdam, 1987.
16. JOHNSON S.C. "Yacc: Yet Another Compiler Compiler", Unix Programmer's Manual, 7th Edition, Bell Telephone Laboratories, January 1979.
17. KAHN G., "Natural Semantics", Proceedings of STACS 1987, Lecture Notes in Computer Science, Vol. 247, Springer-Verlag, March 1987.
18. KAHN G., B. LANG, B. MELESE, "METAL: a formalism to specify formalisms", Science of Computer Programming, Vol. 3, pp. 151-188, North-Holland, 1983.
19. LANG B. "The Virtual Tree Processor" in Generation of Interactive Programming Environments, Intermediate report, J. Heering, J. Sidi, A. Verhoog (Eds.). CWI Report CS-R8620, Amsterdam, May 1986.
20. MILNER R. "A proposal for Standard ML", Proceedings of the A CM Symposium on Lisp and Functional Programming, Austin, Texas, August 1984.
21. NAISH L., "The MU-Prolog 3.2 Reference Manual", Technical Report 85/11, Department of Computer Science, University of Melbourne, October 1985.
22. MORCOS-CHOUNET E., A. CONCHON, "PPML, A general formalism to specify pretty-printing", Proceedings of IFIP Congress 1986, Dublin, North-Holland.
23. PEREIRA F., D. WARREN, D. BOWEN, L. BYRD, L. PEREIRA, "C-Prolog User's Manual, version 1.5", SRI International, Menlo Park, June 1985
24. REPS T., "Generating Language Based Environments", Ph.D. Thesis, Tech-Report 82-514, Cornell University, Ithaca NY, August 1982.
25. TEITELBAUM T., T. REPS, "The Cornell Program Synthesizer: a syntax-directed Programming Environment", Communications of the ACM, Vol. 24 (9), September 1981