ASD: The action semantic description tools

1. J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.

   Google Scholar 

2. M. van den Brand and E. Visser. Generation of formatters for context-free languages. Technical Report P9506, Programming Research Group, University of Amsterdam, 1995. To appear in ACM Transactions on Software Engineering Methodology.

   Google Scholar 

3. A. van Deursen, J. Heering, and P. Klint (eds.). Language Prototyping, An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific Publising Co., 1996. To Appear.

   Google Scholar 

4. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176–201, 1993.

   Google Scholar 

5. P.D. Mosses. Unified algebras and institutions. In LICS'89, Proceedings 4th Annual Symposium on Logic in Computer Science, pages 304–312. IEEE, 1989.

   Google Scholar 

6. P.D. Mosses. Action Semantics, volume 26 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.

   Google Scholar 

7. P.D. Mosses and D.A. Watt. Pascal action semantics. Technical report, Aarhus University, 1993. Draft, version 0.6. Available by ftp from ftp.daimi.aau.dk: pub/action/pascal.

   Google Scholar 

8. 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.

   Google Scholar 

9. D.A. Watt. Programming Language Syntax and Semantics. Prentice Hall, 1991.

   Google Scholar 

Download references