Article

Free access

Centaur: the system

Authors:

Th. Despeyroux,

V. PascualAuthors Info & Claims

SDE 3: Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Pages 14 - 24

https://doi.org/10.1145/64135.65005

Published: 03 November 1988 Publication History

Abstract

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

[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. COURONN~, 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.

Digital Library

[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.

Digital Library

[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 dkveloppement d'applications", 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 Progrumming 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 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 semantiques. Application: un verificateur de types incremental" These, Wniversite 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.

Digital Library

[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 Anot.her 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.

Digital Library

[18]

KAHN G., B. LANG, B. M~L~sE, "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.

Digital Library

[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.

Digital Library

[25]

TEITELBAUM T., T. REPS, "The Cornell Program Synthesizer: a syntax-directed Programming Environment", Communications of the ACM, vol. 24 (9), September 1981

Digital Library

Cited By

van den Brand M(2023)A personal retrospective on language workbenchesSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01101-922:3(847-850)Online publication date: 20-Mar-2023
https://dl.acm.org/doi/10.1007/s10270-023-01101-9
MILLER D(2021)A Survey of the Proof-Theoretic Foundations of Logic ProgrammingTheory and Practice of Logic Programming10.1017/S147106842100053322:6(859-904)Online publication date: 18-Nov-2021
https://doi.org/10.1017/S1471068421000533
Miller D(2019)Mechanized Metatheory RevisitedJournal of Automated Reasoning10.1007/s10817-018-9483-363:3(625-665)Online publication date: 1-Oct-2019
https://dl.acm.org/doi/10.1007/s10817-018-9483-3
Show More Cited By

Index Terms

Centaur: the system
1. Software and its engineering
  1. Software notations and tools
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

Centaur: the system
Special issue: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments

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 ...
Centaur: the system
Special issue: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments

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 ...
A Transportable Programming Language (TPL) System. II. The Bifunctional Compiler System

The transportable programming language (TPL) method is a high-level-language approach that uses a bifunctional compiler to efficiently convert code among various dialects of a particular high-level language (HLL) via the hypothetical parent of the high-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SDE 3: Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

January 1989

257 pages

ISBN:089791290X

DOI:10.1145/64135

Editor:
Peter Henderson
SUNY, Stonybrook, NY

ACM SIGPLAN Notices Volume 24, Issue 2
Special issue: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments
Feb. 1989
257 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/64140
Editor:
Peter Henderson
State Univ. of New York, Stony Brook
Issue’s Table of Contents
ACM SIGSOFT Software Engineering Notes Volume 13, Issue 5
Special issue: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments
November 1988
257 pages
ISSN:0163-5948
DOI:10.1145/64137
Editor:
Peter Henderson
SUNY, Stonybrook, NY
Issue’s Table of Contents

Copyright © 1988 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 November 1988

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGSOFT88

Sponsor:

SIGSOFT88: 3rd Symposium on Software Development Environments

November 28 - 30, 1988

Massachusetts, Boston, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

192
Total Citations
View Citations
894
Total Downloads

Downloads (Last 12 months)135
Downloads (Last 6 weeks)30

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

van den Brand M(2023)A personal retrospective on language workbenchesSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01101-922:3(847-850)Online publication date: 20-Mar-2023
https://dl.acm.org/doi/10.1007/s10270-023-01101-9
MILLER D(2021)A Survey of the Proof-Theoretic Foundations of Logic ProgrammingTheory and Practice of Logic Programming10.1017/S147106842100053322:6(859-904)Online publication date: 18-Nov-2021
https://doi.org/10.1017/S1471068421000533
Miller D(2019)Mechanized Metatheory RevisitedJournal of Automated Reasoning10.1007/s10817-018-9483-363:3(625-665)Online publication date: 1-Oct-2019
https://dl.acm.org/doi/10.1007/s10817-018-9483-3
Buisson JRehab S(2019)Generation of Inductive Types from Ecore MetamodelsModel-Driven Engineering and Software Development10.1007/978-3-030-11030-7_14(308-334)Online publication date: 1-Feb-2019
https://doi.org/10.1007/978-3-030-11030-7_14
Omar CVoysey IHilton MAldrich JHammer M(2017)Hazelnut: a bidirectionally typed structure editor calculusACM SIGPLAN Notices10.1145/3093333.300990052:1(86-99)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009900
Omar CVoysey IHilton MAldrich JHammer MCastagna GGordon A(2017)Hazelnut: a bidirectionally typed structure editor calculusProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009900(86-99)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009900
Blanco RChihani ZMiller D(2017)Translating Between Implicit and Explicit Versions of ProofAutomated Deduction – CADE 2610.1007/978-3-319-63046-5_16(255-273)Online publication date: 11-Jul-2017
https://doi.org/10.1007/978-3-319-63046-5_16
Amorim LErdweg SWachsmuth GVisser EStorm TBalland EVarro D(2016)Principled syntactic code completion using placeholdersProceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2997364.2997374(163-175)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2997364.2997374
Martin PBénard J(2016)Top-level Ideas about Importing, Translating and Exporting Knowledge via an Ontology of Representation LanguagesProceedings of the 12th International Conference on Semantic Systems10.1145/2993318.2993344(89-92)Online publication date: 12-Sep-2016
https://dl.acm.org/doi/10.1145/2993318.2993344
Dingel J(2016)Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven EngineeringGraph Transformation10.1007/978-3-319-40530-8_1(3-18)Online publication date: 22-Jun-2016
https://doi.org/10.1007/978-3-319-40530-8_1
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents