Composing programming languages by combining action-semantics modules

Science of Computer Programming

Volumn 47, Issue 1, 2003, Pages 3-36

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

^a Hanyang University   (South Korea)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

Action semantics; ASF+SDF; Modularity

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; SEMANTICS;

ACTION SEMANTICS;

COMPUTER PROGRAMMING;

EID: 0037374917     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(02)00107-7     Document Type: Conference Paper

References (28)

1. Cartwright R., Felleisen M. Extensible denotational language specifications. Hagiya M., Mitchell J.C. TACS'94, Symp. on Theoretical Aspects of Computer Software, Sendai, Japan, Lecture Notes in Computer Science. vol. 789:1994;244-272 Springer, Berlin.
2. Gurevich Y. Evolving algebras 1993. Lipari guide Börger E. Specification and Validation Methods. 1995;Oxford University Press, Oxford.
3. Heering J., Klint P. Semantics of programming languages. a tool-oriented approach ACM SIGPLAN Notices. 35(3):2000;39-48.
4. C.A.R. Hoare, Hints on programming language design, in: POPL'73, Proc. 1st ACM Symp. on Principles of Programming Languages, ACM Press, New York, 1973.
5. Hoare C.A.R., Jones C.B. Essays in Computing Science. 1989;Prentice-Hall, Englewood Cliffs, NJ.
6. Kutter P., Pierantonio A. Montages. specifications of realistic programming languages J. Universal Comput. Sci. 3(5):1997;416-442.
7. S.B. Lassen, P.D. Mosses, D.A. Watt, An introduction to AN-2, the proposed new version of Action Notation, in: AS 2000, no. NS-00-6 in Notes Series, BRICS, Department of Computer Science, University of Aarhus, 2000, pp. 19-36.
8. 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. vol. 1058:1996;219-234 Springer, Berlin.
9. L. Menezes, H. Moura, Component-based action semantics: a new approach for programming language specification, in: SBLP 2001, V Brazilian Symp. on Programming Languages, 2001.
10. E. Moggi, An abstract view of programming languages, Tech. Rep. ECS-LFCS-90-113, Computer Science Department, University of Edinburgh, 1990.
11. Mosses P.D. Action semantics. Cambridge Tracts in Theoretical Computer Science. vol. 26:1992;Cambridge University Press, Cambridge.
12. 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. vol. 1113:1996;37-61 Springer, Berlin.
13. P.D. Mosses, A tutorial on action semantics, 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/ (March 1996).
14. P.D. Mosses, A modular SOS for action notation, Tech. Rep. BRICS RS-99-56, Department of Computer Science, University of Aarhus, December 1999.
15. P.D. Mosses, Foundations of Modular SOS (extended abstract), in: MFCS'99, Proc. 24th Inetrnat. Symp. on Mathematical Foundations of Computer Science, Szklarska Poreba, Poland, Lecture Notes in Computer Science, Springer, Berlin, 1999, pp. 70-80, full version published as BRICS RS-99-54, Department of Computer Science, University of Aarhus, 1999.
16. P.D. Mosses, D.A. Watt, Pascal: action semantics, draft, Version 0.6, Available from the authors at http://www.brics.dk/Projects/AS/ (March 1993).
17. G.D. Plotkin, A structural approach to operational semantics, Lecture Notes DAIMI FN-19, Department of Computer Science, University of Aarhus, 1981.
18. Schmidt D.A. Denotational Semantics. A Methodology for Language Development:1986;Allyn and Bacon, Newton, MA.
19. Schmidt D.A. The Structure of Typed Programming Languages. 1994;MIT Press, Cambridge, MA.
20. Stoy J.E. Denotational Semantics. The Scott-Strachey Approach to Programming Language Theory:1977;MIT Press, Cambridge, MA.
21. Tennent R.D. Language design methods based on semantic principles. Acta Inform. 8:1977;97-112.
22. van den Brand M.G.J., van Deursen A., Heering J., de Jong H.A., de Jonge M., Kuipers T., Klint P., Moonen L., Olivier P.A., Scheerder J., Vinju J.J., Visser E., Visser J. The. ASF+SDF meta environment a component-based language development environment Wilhelm R. CC'2001, Compiler Construction, Lecture Notes in Computer Science. vol. 2027:2001;365-370 Springer, Berlin.
23. A. van Deursen, J. Heering, P. Klint (Eds.), Language Prototyping, AMAST Series in Computing, vol. 5, World Scientific, Singapore, 1996.
24. van Deursen A., Mosses P.D. ASD. the action semantic description tools AMAST'96, Proc. 5th Internat. Conf. on Algebraic Methodology and Software Technology, Munich, Lecture Notes in Computer Science. vol. 1101:1996;579-582 Springer, Berlin.
25. K. Wansbrough, J. Hamer, A modular monadic action semantics, in: Proc. Conf. on Domain-Specific Languages, The USENIX Association, Berkeley, CA, 1997, pp. 157-170.
26. Watt D.A. Programming Language Syntax and Semantics. 1991;Prentice-Hall, Englewood Cliffs, NJ.
27. D.A. Watt, Standard ML action semantics, draft, Version 0.5, Available from the author at http://www.brics.dk/Projects/AS/ (May 1997).
28. D.A. Watt, The static and dynamic semantics of Standard ML, in: P.D. Mosses, D.A. Watt (Eds.), AS'99, 2nd Internat. Workshop on Action Semantics BRICS NS-99-3, Department of Computer Science, University of Aarhus, 1999, pp. 155-172.