Skip to main content
SpringerLink
Log in

Language Independent Container Specification

  • Conference paper
  • First Online:
Generic Programming

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

  • 3046 Accesses

Abstract

An approach to the specification of STL components in terms of mutable objects is proposed in the paper. The approach is based on considering an object update as a transition from one algebra of a given signature to another of the same signature. Each object (iterator, container) belongs to a definite object type and possesses a state and a unique identifier represented by a typed address. Iterators are divided in different iterator categories. Containers are collections of iterators of the corresponding category. Transition rules of an Abstract State Machine are used as a means of container specification.

This research is supported in part by Russian Foundation for Basic Research under the 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. ISO/IEC FDIS 14882. International Standard for the C++ Programming Language. American National Standards Institute (ANSI), X3 Secretariat, 1250 Eye Street NW, Suite 200, Washington, DC 20005, 1998.

    Google Scholar 

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

    Google Scholar 

  3. M. Wirsing. Algebraic Specifications. Handbook of Theoretical Computer Science, Elsevier Science Publishers B.V., 1990, pp. 665–788.

    Google Scholar 

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

  5. Y. Gurevich. May 1997 Draft of the ASM Guide. University of Michigan (available electronically from http://www.eecs.umich.edu/gasm/).

  6. A. V. Zamulin. Typed Gurevich Machines Revisited. Joint NCC&ISS Bull., Comp. Science, 5 (1997), pp. 1–26 (available electronically from http://www.eecs.umich.edu/gasm/).

    MATH  Google Scholar 

  7. 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/).

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

    Google Scholar 

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

  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. 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 Computer Society Press, 1992, pp. 214–219.

    Google Scholar 

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

  13. K. Lano and H. Houghton, eds., Object-Oriented Specification Case Studies. Prentice Hall (Object-Oriented Series), 1994.

    Google Scholar 

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

  15. T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kush. Revised Version of the Modelling Language TROLL. Technische Universität Braunschweig, Informatik-Berichte 94-03, 1994.

    Google Scholar 

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

Download references

Author information

Authors and Affiliations

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

    Alexandre V. Zamulin

Authors
  1. Alexandre V. Zamulin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Information Systems Institute, Distributed Systems Group, Technical University of Vienna, Argentinierstr. 8/184-1, 1040, Vienna, Austria

    Mehdi Jazayeri

  2. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Sand 13, 72076, Tübingen, Germany

    Rüdiger G. K. Loos

  3. Computer Science Department, Rensellaer Polytechnic Institute, Troy, NY, 12180-3590, USA

    David R. Musser

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zamulin, A.V. (2000). Language Independent Container Specification. In: Jazayeri, M., Loos, R.G.K., Musser, D.R. (eds) Generic Programming. Lecture Notes in Computer Science, vol 1766. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39953-4_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-39953-4_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41090-4

  • Online ISBN: 978-3-540-39953-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation