Skip to main content
SpringerLink
Log in

ASD: The action semantic description tools

  • Conference
  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1101))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

Author information

Authors and Affiliations

  1. CWI, P. O. Box 94079, 1090, GB Amsterdam, The Netherlands

    Arie van Deursen

  2. BRICS (Basic Research in Computer Science, Centre of the Danish National Research Foundation), Computer Science Department, Aarhus University, Ny Munkegade Bldg. 540, DK-8000, Aarhus C, Denmark

    Peter D. Mosses

Authors
  1. Arie van Deursen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter D. Mosses
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Deursen, A., Mosses, P.D. (1996). ASD: The action semantic description tools. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014346

Download citation

  • DOI: https://doi.org/10.1007/BFb0014346

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61463-0

  • Online ISBN: 978-3-540-68595-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation