A modular monadic action semantics

Proceedings of the Conference on Domain-Specific Languages, DSL 1997

Volumn , Issue , 1997, Pages

  Wansbrough, Keith ^a   Hamer, John ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DIGITAL SUBSCRIBER LINES; PROBLEM ORIENTED LANGUAGES; SEMANTICS; SOFTWARE PROTOTYPING;

ACTION SEMANTICS; DOMAIN SPECIFIC; DOMAIN SPECIFIC LANGUAGES; EXISTING SYSTEMS; MODULAR MONADIC SEMANTICS; PRODUCTIVITY TOOLS; SEMANTIC DESCRIPTIONS; SEMANTIC GAP;

FORMAL METHODS;

EID: 85094127909     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Samson Abramsky. Semantics of interaction. In Heiene Kirchner, editor, Trees in Algebra and Programming-CAAP'96: Proceedings of the 21st International Colloquium, LinkHping, Sweden, April 1996, number 1059 in Lecture Notes in Computer Science, page 1. Springer-Verlag, 1996. Invited talk.
2. Deryck Brown, Hermano Moura, and David A. Watt. ACTRESS: an action semantics directed compiler generator. In U. Kastens and P. Pfahler, editors, Compiler Construction: Proceedings of the 4th International Conference, CC'92, Paderborn, FRG, October 1992, number 641 in Lecture Notes in Computer Science, pages 95-109. Springer-Verlag, 1992.
3. Kyung-Goo Doh. Action semantics: A tool for developing programming languages. In Proceedings of InfoScience'93, International Conference on Information Science and Technology, Seoul, Korea, 21-22 October 1993. Also available as Technical Report 93-1-005, The University of Aizu. Available ftp://ftp.brics.dk/pub/BRICS/Projects/AS/Papers/Doh93IS/.
4. Kyung-Goo Doh and David A. Schmidt. The facets ofaction semantics: Some principles and applications (extended abstract). In Mosses [Mos94], pages 1-15.
5. David Espinosa. Modular denotational semantics. Unpublished manuscript, December 1993.
6. David Espinosa. Semantic Lego. Unpublished manuscript, January 1994. Available http://www-swiss.ai.mit.edu/ftpdir/users/dae/.
7. David A. Espinosa. Semantic Lego.PhD thesis, Graduate School of Arts and Sciences, Columbia University, 1995. Available http://www-swiss.ai.mit.edu/ftpdir/users/dae/.
8. Daniel P. Friedman, Christopher T. Haynes, and Eugene Kohlbecker. Programming with continuations. In P. Pepper, editor, Program Transformation and Programming Environments: Report on a Workshop directed by F. L. Bauer and H. Remus, volume 8 of NATO ASI Series F: Computer and System Sciences, pages 263-274. Springer-Verlag, 1984.
9. B. S. Hansen and J. U. Toft. The formal specification of ANDF, an application of action semantics. In Mosses [Mos94], pages 34-42.
10. Soren B. Lassen. Basic action theory. Technical Report RS-95-25, BRICS, Department of Computer Science, University of Aarhus, May 1995.
11. Sheng Liang and Paul Hudak. Modular denotational semantics for compiler construction. In Hanne Riis Nielson, editor, Programming Languages and Systems-ESOP '96: 6th European Symposium on Programming, LinkHping, Sweden, April 1996, number 1058 in Lecture Notes in Computer Science, pages 219-234. Springer-Verlag, 1996.
12. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, January 22-25, 1995, pages 333-343, New York, 1995. ACM Press.
13. Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, Scotland, June 1989. Available http://theory.doc.ic.ac.uk:80/tfm/papers/MoggiE/absview.ps.gz.
14. Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings of Symposium on Logic in Computer Science, pages 14-23, Asilomar, California, June 1989.
15. Eugenio Moggi. A modular approach to denotational semantics. In D. H. Pitt et al., editors, Proceedings ofCategoryTheoryand Computer Science, Paris, France, September 3-6, 1991, number 530 in Lecture Notes in Computer Science, pages 138-139. Springer-Verlag, 1991. Invited talk.
16. Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55-92, 1991.
17. Peter D. Mosses. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
18. Peter D. Mosses, editor. Proceedings of the FirstInternationalWorkshoponActionSemantics, Edinburgh, 14 April 1994, number NS-94-1 in BRICS Notes, 1994.
19. Peter D. Mosses. Theory and practice of action semantics. In Proceedings of the 21st International Symposium on Mathematical Foundations ofComputer Science, Cracow, Poland, September 1996, number 1113 in Lecture Notes in Computer Science. Springer-Verlag, 1996.
20. Peter D. Mosses. A tutorial on action semantics. Tutorial notes for FME'96: Formal Methods Europe, Oxford, 18-22 March 1996, 1996. Draft. Available ftp://ftp.brics.dk/pub/BRICS/Projects/AS/ Papers/Mosses96DRAFT/.
21. Hermano Moura. An implementation of action semantics (draft). Available http://www.di.ufpe.br/~rat/, 1996.
22. J. P. Nielsen and J. U. Toft. Formal specification of ANDF, existing subset. Technical Report 202104/RPT/19, issue 2, DDC International A/S, Lundtoftevej 1C, DK-2800 Lyngby, Denmark, 1994.
23. Peter Orbaek. OASIS: An optimizing action-based compiler generator. In Peter A. Fritzson, editor, Compiler Construction: Proceedings of the 5th International Conference, CC '94,vol-ume 786 of Lecture Notes in Computer Science, pages 1-15, Edinburgh, U.K., April 1994. Springer-Verlag.
24. Jens Palsberg. A provably correct compiler generator. In B. Krieg-Bruckner, editor, ESOP '92: Proceedings of the 4th European Symposium on Programming, volume 582 of Lecture Notes in Computer Science, pages 418-434, Rennes, France, February 1992. Springer-Verlag.
25. G. D. Plotkin. A structural approach to operational semantics. Lecture Notes DAIMI FN-19, Department of Computer Science, University of Aarhus, 1981. Now available only from University of Edinburgh.
26. G. D. Plotkin. An operational semantics for CSP. In Dines Bjorner, editor, Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II, Garmisch-Partenkirchen, FRG, 1-4 June 1982, pages 199-223, Amsterdam, 1983. North-Holland.
27. Guy L. Steele, Jr. Building interpreters by composing monads. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, January 17-21, 1994, pages 472-492, New York, 1994. ACM Press.
28. Arie van Deursen and Peter D. Mosses. ASD: The Action Semantic Description Tools User's Guide, May 24 1996. Version 2.5. Available http://www.brics.dk/Projects/AS/Tools/ASD/.
29. Keith Wansbrough. A modular monadic action semantics. Master's thesis, Department of Computer Science, University of Auckland, February1997. Available http://www.cs.auckland.ac.nz/~kwan0 01/thesis/