Prototyping realistic programming languages based on formal specifications

Acta Informatica

Volumn 34, Issue 10, 1997, Pages 737-772

  Poetzsch Heffter, Arnd ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTER SOFTWARE; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

REALISTIC PROGRAMMING LANGUAGE; STATIC SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032293609     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050105     Document Type: Article

References (38)

1. I. Attali, D. Parigot: Integrating natural semantics and attribute grammars: The minotaur system. Technical Report No. 2339, INRIA, September 1994.
2. E. Astesiano: Inductive and operational semantics. In Formal Description of Programming Concepts, (IFIP State-of-the-Art Report), pp. 51-136. Berlin, Heidelberg, New York: Springer 1991.
3. P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual: CENTAUR: The system. In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SIGPLAN Notices 24(2), 1989.
4. Y. Bertot: Occurrences in debugger specifications. Technical Report No. 1350, INRIA, December 1990.
5. Y. Bertot, R. Fraer: Reasoning with executable specifications. In P. D. Mosses, M. Nielsen, M. I. Schwartzbach, editors, TAPSOFT'95, LNCS 915, pp. 531-545. Berlin, Heidelberg, New York: Springer 1995.
6. K. Bichler: Specification of the C programming language. Master's thesis, Technische Universität München, 1995. (In German).
7. E. Börger, D. Rosenzweig: A simple mathematical model for full Prolog. Tech. Rep. TR-33/92, Dipartimento di Informatica, Universita di Pisa, 1992.
8. P. Deransart, M. Jourdan, B. Lorho: Attribute Grammars. LNCS 323. Berlin, Heidelberg, New York: Springer 1988.
9. H. Ganzinger, R. Giegerich, U. Möncke, R. Wilhelm: A truly generative semantics-directed compiler generator. In SIGPLAN '82 Symposium on Compiler Construction, SIGPLAN Notices 17(6), pp. 172-184. ACM Press, 1982.
10. Y. Gurevich, J. Huggins: The semantics of the C programming language. In E. Börger et al., editor, Computer Science Logic, LNCS 702, pp. 274-308. Berlin, Heidelberg, New York: Springer 1992.
11. R. W. Gray, V. P. Heuring, S. P. Levi, A. M. Sloane, W. M. Waite: Eli: A complete, flexible compiler construction system. Communications of the ACM, 35(2):121-131, February 1992.
12. R. Giegerich: Composition and evaluation of attribute coupled grammars. Acta Inf., 25:355-423, 1988.
13. Y. Gurevich, L. Moss: Algebraic operational semantics and Occam. In E. Börger et al., editor, Computer Science Logic, LNCS 440, pp. 176-192. Berlin, Heidelberg, New York: Springer 1989.
14. Y. Gurevich: Evolving algebras 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1995.
15. F. v. Henke, A. Dold, H. Pfeifer: Towards mechanization of evolving algebras in PVS. Workshop on Evolving Algebras, May 1996. (Unpublished).
16. G. Hedin: Incremental static semantics analysis for object-oriented languages using Door attribute grammars. In H. Alblas, B. Melichar, editors, International Sommer School on Attribute Grammars, Applications, and Systems, LNCS 545, pp. 374-379. Berlin, Heidelberg, New York: Springer 1991.
17. M. Jourdan: An optimal-time recursive evaluator for attribute grammars. In M. Paul, B. Robinet, editors, International Symposium on Programming, LNCS 167, pp. 167-178. Berlin, Heidelberg, New York: Springer 1984.
18. M. Jourdan, D. Parigot: The FNC-2 system: Advances in attribute grammars technology. Technical Report No. 834, INRIA, April 1988.
19. G. Kahn: Natural semantics. In STACS'87, LNCS 247, pp. 22-39. Berlin, Heidelberg, New York: Springer 1987.
20. G. Kaiser: Incremental dynamic semantics for language-based programming environments. ACM Transactions on Programming Languages and Systems, 11(2):169-193, 1989.
21. T. Katayama: Translation of attribute grammars into procedures. ACM Transactions on Programming Languages and Systems, 6:345-369, 1984.
22. U. Kastens, B. Hutt. E. Zimmermann: GAG: A Practical Compiler Generator. LNCS 141. Berlin, Heidelberg, New York: Springer 1982.
23. P. Klint: A META-environment for generating program environments. Technical Report CS-R9064, CWI, 1990.
24. P. Müller: Specification and implementation of an annotation language for an object-oriented programming language. Master's thesis. Technische Universität München, 1995. (In German).
25. P. D. Mosses, M. Musicante: An action semantics for ML concurrency primitives. In M. Naftalin, T. Denvir, M. Bertran, editors, FME '94: Industrial Benefit of Formal Methods, LNCS 873, pp. 461-479. Berlin, Heidelberg, New York: Springer 1994.
26. P. D. Mosses: Action Semantics. Cambridge Tracts in Theoretical Computer Science 26. Cambridge University Press, 1992.
27. P. Ørbaek: OASIS: An optimizing action-based compiler generator. In P. Fritzson, editor, Compiler Construction, LNCS 786, pp. 1-15. Berlin, Heidelberg, New York: Springer 1994.
28. M. Pettersson: Rml - new language and implementation for natural semantics. In M. Hermenegildo, J. Penjam, editors, Programming Language Implemenation and Logic Programming, 6th International Symposium, PLILP '94, LNCS 844, pp. 117-131. Berlin, Heidelberg, New York: Springer 1994.
29. A. Poetzsch-Heffter: Programming language specification and prototyping using the MAX System. In M. Bruynooghe, J. Penjam, editors, Programming Language Implementation and Logic Programming, LNCS 714, pp. 137-150. Berlin, Heidelberg, New York: Springer 1993.
30. A. Poetzsch-Heffter: Deriving partial correctness logics from evolving algebras. In B. Pehrson, I. Simon, editors, IFIP 13th World Computer Congress '94, pp. 434-439. Amsterdam: Elsevier 1994.
31. A. Poetzsch-Heffter: Developing efficient interpreters based on formal language specifications. In P. Fritzson, editor, Compiler Construction, LNCS 786, pp. 233-247. Berlin, Heidelberg, New York: Springer 1994.
32. A. Poetzsch-Heffter, R. Merk: Complex remote attribute dependencies do not exclude the generation of efficient evaluators. Technischer Bericht TUM-I9432, Technische Universität München, August 1994.
33. J. Palsberg, M. I. Schwartzbach: Object-Oriented Type Systems. John Wiley & Sons, 1994.
34. T. Reps, T. Teitelbaum: The Syntheziser Generator Reference Manual, 3rd edn. Berlin, Heidelberg, New York: Springer 1989 (3rd edition).
35. D.A.Schmidt: Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986.
36. H. Vogt, S. Swierstra, M. Kuiper: Higher order attribute grammars. In SIGPLAN '89 Conference on Progamming Language Design and Implementation, SIGPLAN Notices 24(7), pp. 131-145. ACM Press, 1989.
37. D. A. Watt: Using ASF+SDF to interpret and transform actions. In P. Mosses, editor, First International Workshop on Action Semantics, BRICS Notes Series NS-94-1, Department of CS, University of Aarhus, Denmark, May 1994.
38. J. Walz, G. Johnson: Inductive attribute grammars. Acta Inf., 32:117-144, 1995.