Composing programming languages by combining action-semantics modules

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 2, 2001, Pages 87-109

  Doh, Kyung Goo ^a   Mosses, Peter D ^b  

^a Hanyang University   (South Korea)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; CONTEXT FREE GRAMMARS; DATA STORAGE EQUIPMENT; PROBLEM SOLVING; RAPID PROTOTYPING; SEMANTICS;

ACTION-SEMANTIC MODULES; DOMAIN-SPECIFIC LANGUAGE; LANDIN-TENNENT PRINCIPLES; LANGUAGE-DESIGN PRINCIPLES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944401742     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80922-8     Document Type: Conference Paper

References (27)

1. Cartwright R. and M. Felleisen, Extensible denotational language specifications, in: M. Hagiya and J. C. Mitchell, editors, TACS'94, Symposium on Theoretical Aspects of Computer Software, Sendai, Japan, Lecture Notes in Computer Science 789 (1994), pp. 244-272.
2. van Deursen A., Heering J., Klint P. "Language Prototyping," AMAST Series in Computing 5:1996;World Scientific
3. van Deursen A., Mosses P.D. ASD: The action semantic description tools. AMAST'96, Proc. 5th Intl. Conf. on Algebraic Methodology and Software Technology, Munich. Lecture Notes in Computer Science 1101:1996;579-582
4. Doh K.-G. and D. A. Schmidt, Extraction of strong typing laws from action semantics definitions, in: ESOP'92, Proc. European Symposium on Programming, Rennes, Lecture Notes in Computer Science 582 (1992), pp. 151-166.
5. Doh K.-G., Schmidt D.A. Action semantics-directed prototyping. Computer Languages. 19:1993;213-233
6. Gurevich Y. Evolving algebras 1993: Lipari guideein: Börger E. Specification and Validation Methods. 1995;Oxford University Press
7. Hoare, C. A. R., Hints on programming language design, in: POPL'73, Proc. 1st ACM Symp. on Principles of Programming Languages (1973), also in [8].
8. Hoare C.A.R., Jones C.B. "Essays in Computing Science" 1989;Prentice-Hall
9. Kutter P., Pierantonio A. Montages: Specifications of realistic programming languages. JUCS. 3:1997;416-442
10. Lassen, S. B., P. D. Mosses and D. A. Watt, An introduction to AN-2, the proposed new version of Action Notation, in: AS 2000, number NS-00-6 in Notes Series, BRICS, Dept. of Computer Science, Univ. of Aarhus, 2000, pp. 19-36.
11. Liang S., Hudak P. Modular denotational semantics for compiler construction. ESOP'96, Proc. 6th European Symp. on Programming, Linköping. Lecture Notes in Computer Science 1058:1996;219-234
12. Moggi E., An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Computer Science Dept., University of Edinburgh (1990).
13. Mosses P.D. "Action Semantics," Number 26 in Cambridge Tracts in Theoretical Computer Science. 1992;Cambridge University Press
14. Mosses P.D. Theory and practice of action semantics. MFCS'96, Proc. 21st Int. Symp. on Mathematical Foundations of Computer Science, Cracow, Poland. Lecture Notes in Computer Science 1113:1996;37-61
15. Mosses, P. D., A tutorial on action semantics (1996), tutorial notes for FME'94 (Formal Methods Europe, Barcelona, 1994) and FME'96 (Formal Methods Europe, Oxford, 1996), also available from the author at http://www.brics.dk/ Projects/AS/.
16. Mosses, P. D., Foundations of Modular SOS (extended abstract), in: MFCS'99, Proc. 24th Intl. Symp. on Mathematical Foundations of Computer Science, Szklarska Poreba, Poland, Lecture Notes in Computer Science (1999), pp. 70-80, full version published as BRICS RS-99-54, Dept. of Computer Science, University of Aarhus, 1999
17. Mosses, P. D., A modular SOS for action notation, Technical Report BRICS RS-99-56, Dept. of Computer Science, University of Aarhus (1999).
18. Mosses, P. D. and D. A. Watt, Pascal: Action semantics (1993), draft, Version 0.6, Available from the authors at http://www.brics.dk/Projects/AS/.
19. Plotkin, G. D., A structural approach to operational semantics, Lecture Notes DAIMI FN-19, Dept. of Computer Science, University of Aarhus (1981).
20. Schmidt D.A. "Denotational Semantics: A Methodology for Language Development" 1986;Allyn and Bacon
21. Schmidt D.A. "The Structure of Typed Programming Languages" 1994;MIT Press
22. Schmidt D.A. Personal communications. 1999
23. Stoy J.E. "Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory" 1977;MIT Press
24. Wansbrough K., Hamer J. A modular monadic action semantics. Proc. Conf. on Domain-Specific Languages. 1997;157-170
25. Watt D.A. "Programming Language Syntax and Semantics" 1991;Prentice-Hall
26. Watt, D. A., Standard ML action semantics (1997), draft, Version 0.5, Available from the author at http://www.brics.dk/Projects/AS/.
27. Watt D.A. The static and dynamic semantics of Standard ML. Mosses P.D., Watt D.A. AS'99, 2nd International Workshop on Action Semantics. 1999;155-172 BRICS NS-99-3, Dept. of Computer Science, University of Aarhus