Advertisement

A meta-environment for generating programming environments

  • P. Klint
Part I Invited Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 490)

Keywords

Module Manager Equation Manager Language Definition Abstract Syntax Tree Conditional Equation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature

  1. [BCDIKLP88]
    P. Borras, D. Clement, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang & V. Pascual, “Centaur: the system”, Proceedings of the ACM SIGSOFT/SIGPLAN Conference on Practical Software Development Environments, 1988, pp. 14–24.Google Scholar
  2. [BHK89]
    J.A. Bergstra, J. Heering & P. Klint (eds.), Algebraic Specification, ACM Press in co-operation with Addison-Wesley, 1989.Google Scholar
  3. [BS86]
    R. Bahlke & G. Snelting, “The PSG system: from formal language definitions to interactive programming environments”, Transactions on Programming Languages and Systems, Vol. 8, Number 4, 1986, pp. 547–576.Google Scholar
  4. [CH89]
    D. Clément & L. Hascoët, “Centaur Paths: a structure to designate subtrees”, CENTAUR User's Manual, Version 0.9, 1989.Google Scholar
  5. [DHKL84]
    V. Donzeau-Gouge, G. Huet, G. Kahn & B. Lang, “Programming environments based on structured editors: the Mentor experience” in D.R. Barstow, H. E. Shrobe & E. Sandewall (eds.), Interactive Programming Environments, McGraw-Hill, 1984, pp. 128–140.Google Scholar
  6. [DK89a]
    M.H.H. van Dijk & J.W.C. Koorn, “Implementation of a generic syntax-directed editor”, Fourth Annual Report ESPRIT Project GIPE, 1989.Google Scholar
  7. [DK89b]
    M.H.H. van Dijk & J.W.C. Koorn, “GSE User's manual”, CENTAUR User's Manual, Version 0.9, 1989.Google Scholar
  8. [Des84]
    T. Despeyroux, “Executable specification of semantics”, in Semantics of Data Types, G. Kahn, D.B. MacQueen & G. Plotkin (eds.), Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, 1984, pp. 215–233.Google Scholar
  9. [ES88]
    R. Endres & M. Schneider, “The GRASPIN Software Engineering Environment”, in ESPRIT '88: Putting the Technology to Use, North-Holland, 1988, pp. 349–364.Google Scholar
  10. [FGJM85]
    K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, and J. Meseguer, “Principles of OBJ2”, in Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, ACM, 1985, pp. 52–66.Google Scholar
  11. [GENESIS87]
    “An Overview of Genesis”, ESPRIT Project 1222 (GENESIS), Deliverable 12Y3, 1987.Google Scholar
  12. [HHKR89]
    J. Heering, P.R.H. Hendriks, P. Klint & J. Rekers, “The syntax definition formalism SDF—reference manual”, Report CS-R8926, Centre for Mathematics and Computer Science, Amsterdam, 1989.Google Scholar
  13. [HK89a]
    J.Heering & P. Klint, “The syntax definition formalism SDF”, in [BHK89, Chapter 6]. Also in ESPRIT '86: Results and Achievements, North-Holland, 1987, pp. 619–630.Google Scholar
  14. [HK89b]
    J. Heering & P. Klint, “PICO revisited”, in [BHK89, Chapter 9]. Also in ESPRIT '88: Putting the Technology to Use, North-Holland, 1988, pp. 365–379.Google Scholar
  15. [HKKL85]
    J. Heering, G. Kahn, P. Klint & B. Lang, “Generation of interactive programming environments”, in ESPRIT '85: Status Report of Continuing Work, Part I, North-Holland, 1986, pp. 467–477.Google Scholar
  16. [HKR87a]
    J. Heering, P. Klint & J. Rekers, “Principles of lazy and incremental program generation”, Report CS-R8749, Centre for Mathematics and Computer Science, Amsterdam, 1987.Google Scholar
  17. [HKR87b]
    J. Heering, P. Klint & J. Rekers, “Incremental generation of lexical scanners”, Report CS-R8761, Centre for Mathematics and Computer Science, Amsterdam, 1987.Google Scholar
  18. [HKR89]
    J. Heering, P. Klint & J. Rekers, “Incremental generation of parsers”, in Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation, 1989, pp. 179–191.Google Scholar
  19. [Hen88]
    P.R.H. Hendriks, “ASF system user's guide”, Report CS-R8823, Centre for Mathematics and Computer Science, Amsterdam, 1988.Google Scholar
  20. [Hen89]
    P.R.H. Hendriks, “Type-checking Mini-ML”, in [BHK89, Chapter 7]. Abbreviated version in Proceedings of CSN87: Computing Science in the Netherlands, SION, 1987, pp. 21–38.Google Scholar
  21. [HN86]
    A.N. Habermann & D. Notkin, “Gandalf: software development environments”, IEEE Transactions on Software Engineering, Vol. 12, 1986, pp.1117–1127.Google Scholar
  22. [KLMM83]
    G. Kahn, B. Lang, B. Mélèse & E. Morcos, “METAL: a formalism to specify formalisms”, Science of Computer Programming, Vol. 3, 1983, pp. 151–188.Google Scholar
  23. [Kah87]
    G. Kahn, “Natural semantics”, in Fourth Annual Symposium on Theoretical Aspects of Computer Science, ed. F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, Lecture Notes in Computer Science, Vol. 247, Springer-Verlag, 1987, pp. 22–39.Google Scholar
  24. [Kli89]
    P. Klint, “Scanner generation for modular regular grammars”, in Liber Amicorum, J.W. de Bakker, 25 jaar Semantiek, Centre for Mathematics and Computer Science, Amsterdam, 1989, pp. 291–305.Google Scholar
  25. [Log88]
    M. Logger, “An integrated text and syntax-directed editor”, Report CS-R8820, Centre for Mathematics and Computer Science, Amsterdam, 1988.Google Scholar
  26. [vdM88]
    E.A. van der Meulen, “Algebraic specification of a compiler for a language with pointers”, Report CS-R8848, Centre for Mathematics and Computer Science, Amsterdam, 1988.Google Scholar
  27. [RT89]
    T. Reps & T. Teitelbaum, The Synthesizer Generator: a System for Constructing Language-based Editors, Springer-Verlag, 1989.Google Scholar
  28. [Rek89]
    J. Rekers, “Modular parser generation”, Report, Centre for Mathematics and Computer Science, Amsterdam, to appear, 1989.Google Scholar
  29. [Voi86]
    F. Voisin, “Cigale: a tool for interactive grammar construction and expression parsing”, Science of Computer Programming, Vol 7., 1986, pp. 61–86.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • P. Klint
    • 1
    • 2
  1. 1.Department of Software TechnologyCentre for Mathematics and Computer ScienceAmsterdamThe Netherlands
  2. 2.Programming Research GroupUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations