Skip to main content
SpringerLink
Log in

Generic Facilities in Object-Oriented ASMs

  • Conference paper
  • First Online:
Abstract State Machines - Theory and Applications (ASM 2000)

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

Included in the following conference series:

  • 404 Accesses

Abstract

Facilities for defining generic object types, generic type categories, generic functions and generic procedures in an object-oriented ASM are described in the paper. These facilities permit one to specify algorithms over complex data structures abstracting both from the type of the structure components and the structure itself. The use of the facilities is demonstrated by the specifications of some important parts of Standard Template Library for C++.

This research is supported in part by Russian Foundation for Basic Research under Grant 98-01-00682.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Y. Gurevich. Evolving Algebras 1993: Lipary Guide. In: Börger, E., ed., Specification and Validation Methods, Oxford University Press, 1995, pp. 9–36.

    Google Scholar 

  2. Y. Gurevich. May 1997 Draft of the ASM Guide. University of Michigan EECS Departmental Technical Report CSE-TR-336-97 (available electronically from http://www.eecs.umich.edu/gasm/).

  3. A.V. Zamulin. Object-Oriented Abstract State Machines. Proc. ASM workshop, Magderburg, Germany, 21-22 September, 1998, pp. 1–21 (available electronically from http://www.eecs.umich.edu/gasm/).

    MATH  Google Scholar 

  4. D.R. Musser and A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1996.

    Google Scholar 

  5. Broy, M., Facchi, C., Grosu, R., ea. The Requirement and Design Specification Lan-guage Spectrum, An Informal Introduction, Version 1.0. Technische Universitaet Muenchen, Institut fuer Informatik, April 1993.

    Google Scholar 

  6. A.V. Zamulin, The Database Specification Language RUSLAN: Main Features. East-West Database Workshop (proc. Second International East-West Database Workshop, Klagenfurt, Austria, September 25-28, 1994), Springer (Workshops in Computing), 1994, 315–327.

    Google Scholar 

  7. P.D. Mosses. CoFI: The Common framework Initiative for Algebraic Specification and Development. In: M. Bidoit and M. Dauchet, eds., TAPSOFT’97: Theory and Practice of Software Development, LNCS, vol. 1214, pp. 115–137.

    Chapter  Google Scholar 

  8. P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad-hoc. Conf. Record of the 16th ACM Annual Symp. on Principles of Progr. Lang., Austin, Texas, January 1989.

    Google Scholar 

  9. Nakajima, R., Honda, M., and Nakahara, H. Hierarchical Program Specification: a Many-sorted Logical Approach. Acta Informatica 14, pp. 135–155 (1980).

    Google Scholar 

  10. F. Parisi-Presicce and A. Pierantonio. Dynamic behavior of Object Systems. In: Recent trends in Data Type Specification. LNCS, vol. 906, 1995, pp. 406–419.

    Chapter  Google Scholar 

  11. J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. Recent Trends in Data Type Specification, LNCS, 1994, vol. 785, pp. 1–29.

    Chapter  Google Scholar 

  12. H.-D. Ehrig and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In: Recent Trends in Data Type Specifications. LNCS, vol. 906, 1994, pp. 219–235.

    Chapter  Google Scholar 

  13. F. Parisi-Presicce and A. Pierantonio. An Algebraic Theory of Class Specification. ACM Transactions on Software Engineering and Methodology, April 1994, vol. 3, No. 2, pp. 166–169.

    Google Scholar 

  14. C. Cristea. Coalgebra Semantics for Hidden Algebra: Parameterised objects and Inheritance. in: Recent Trends in Algebraic development Techniques. LNCS, vol. 1374, 1997, pp. 174–189.

    Google Scholar 

  15. C. B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990.

    Google Scholar 

  16. J. M. Spivey. understanding Z. A specification language and its formal semantics. Cambridge University Press, 1988.

    Google Scholar 

  17. E.H. D,rr and J. van Katwijk. A Formal Specification Language for Object Oriented Designs. In: Computer Systems and Engineering (Proceedings of CompEuro’92). IEEE Compute Society Press, 1992, pp. 214–219.

    Google Scholar 

  18. R. Duke, P. King, G.A. Rose, and G. Smith. The Object-Z specification language. In: T. Korson, V. Vaishnavi, and B. Meyer, eds., Technology of Object-Oriented Languages and Systems: TOOLS 5, Prentice hall, 1991, pp. 465–483.

    Google Scholar 

  19. K. Lano and H. Houghton, eds., Object-Oriented Specification case Studies. Prentice Hall (object-oriented series), 1994.

    Google Scholar 

  20. K. Lano and H. Houghton. The Z++ manual. October 1994. Available from ftp://theory.doc.ic.ac.uk/theory/papers/Lano/z++.ps.Z

  21. A. Pierantonio. Making Statics Dynamic. In: G. Hommel, editor, Proc. International Workshop on Communication based Systems, Kluwer Academic Publishers, 1995, pp. 19–34.

    Google Scholar 

  22. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, vol. 96, No 1 (April 1992), pp. 73–155.

    Google Scholar 

  23. R. Diaconescu and K. Futatsugi. CafeOBJ Report.World Scientific Publishing Co. Pte. Ltd, AMAST series in Computing”, vol. 6,1998.

    Google Scholar 

  24. J. Meseguer. A logical theory of concurrent objects and its realization in the Mode language. In: Research Directions in Concurrent Object-Oriented Programming. The MIT Press, Cambridge, Mass., 1993, pp. 314–390.

    Google Scholar 

  25. T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kush. Revised Version of the Modelling Language TROLL. Technishe Universitaet Braunschweig, Informatik-Berichte 94–03, 1994.

    Google Scholar 

  26. M. Gogolla and R. Herzig. An Algebraic Semantics for the Object Specification Language TROLL-light. In: Recent Trends in Data Type Specifications, LNCS, vol. 906, 1995, pp. 290–306.

    Chapter  Google Scholar 

  27. A. Frick, G. Goos, R. Newmann, W. Zimmermann. Construction of Robust Class Hierarchies. Software-Practice and Experience, 2000 (to be published).

    Google Scholar 

  28. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics Systems Siberian Branch of the Russian Academy of Sciences, 630090, Novosibirsk, Russia

    A. V. Zamulin

Authors
  1. A. V. Zamulin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Microsoft Research, One Microsoft Way, Redmond, WA 98052, USA

    Yuri Gurevich

  2. ETH Zürich, Institute TIK Gloriastr., 35, 8092, Zürich, Switzerland

    Philipp W. Kutter

  3. EPFL Lausanne, DI IN-Ecublens, 1015, Lausanne, Switzerland

    Martin Odersky

  4. ETH Zürich, Institute TIK Gloriastr., 35, 8092, Zürich, Switzerland

    Lothar Thiele

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zamulin, A.V. (2000). Generic Facilities in Object-Oriented ASMs. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds) Abstract State Machines - Theory and Applications. ASM 2000. Lecture Notes in Computer Science, vol 1912. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44518-8_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-44518-8_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67959-2

  • Online ISBN: 978-3-540-44518-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation