Centaur: The system

ACM SIGPLAN Notices

Volumn 24, Issue 2, 1989, Pages 14-24

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

^a Paris and SEMA ^*  (United States)

^b Sophia Antipolis and INRIA ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976842141     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/64140.65005     Document Type: Article

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. CLEMENT D., INCERPI J., “Graphical Objects: Geometry, Graphics, and Behavior”, 3rd 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'dpplications”, ILOG, Paris, 1987.
8. DONZEAU-GOUGE V., G. KAHN, G. HUET, B. LANG, J-J. LEVY, “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. MELESE, E. MORCOS, “Outline of a tool for document manipulation”, Proceedings of IFIP 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'r 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 ACM 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'r 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