Skip to main content
SpringerLink
Log in

Implementation of data structures in an imperative framework

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1994, COMPASS 1994)

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

Abstract

We present a formal definition of implementation between concrete structures within the framework of dynamic data-types. The main outcome is an adequate and uniform semantic model for stating when a software module in an imperative or object based language is a correct implementation of a data structure. Moreover, the definition is obtained extending in a natural way the notion used in the static case, showing that our dynamic frameworks are a “sound” generalization of static frameworks.

Work partially supported by Esprit. BRA WG N. 6112 COMPASS, HCM-MEDICIS, and Murst 40% — Modelli della Computazione e dei Linguaggi di Programmazione

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. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Pure and Applied Mathematics. Wiley Interscience, New York, 1990.

    Google Scholar 

  2. E. Astesiano, G. Reggio, and E. Zucca. Stores as homomorphisms and their transformations. In A. M. Borzyszkowsky and S. Sokolowsky, editors, Proc. Mathematical Foundations of Computer Science 1993, number 711 in Lecture Notes in Computer Science, pages 242–251. Springer Verlag, Berlin, 1993.

    Google Scholar 

  3. E. Astesiano and E. Zucca. A semantic model for dynamic systems. In U.W. Lipeck and B. Thalheim, editors, Modelling Database Dynamics, Volkse 1992, Workshops in Computing, pages 63–83. Springer Verlag, Berlin, 1993.

    Google Scholar 

  4. E. Astesiano and E. Zucca. D-oids: a model for dynamic data-types. Mathematical Structures in Computer Science, 1994. To appear.

    Google Scholar 

  5. E. Astesiano and E. Zucca. A free coustruction of dynamic terms. Technical report, DISI, 1994. Submitted for publication.

    Google Scholar 

  6. M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, (18), 1982.

    Google Scholar 

  7. M. Cerioli and G. Reggio. Institutions for very abstract specifications. In Recent Trends in Data Type Specification, number 785 in Lecture Notes in Computer Science, pages 113–127. Springer Verlag, Berlin, 1993.

    Google Scholar 

  8. C.A.R. Hoare. Proof of correctness of data representation. Acta Informatica, 1:271–281, 1972.

    Article  Google Scholar 

  9. F. Orejas, M. Navarro, and A. Sánchez. Implementation and behavioural equivalence: A survey. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, number 655 in Lecture Notes in Computer Science, pages 93–125. Springer Verlag, Berlin, 1993.

    Google Scholar 

  10. D. Sannella and A. Tarlecki. Towards formal development, of programs from algebraic specifications: Implementations revisited. Acta Informatica, 25:233–281, 1988.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DISI — Dipartimento di Informatica e Scienze dell'Informazione, Viale Benedetto XV, 3, 16132, Genova, Italy

    Elena Zucca

Authors
  1. Elena Zucca
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egidio Astesiano Gianna Reggio Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zucca, E. (1995). Implementation of data structures in an imperative framework. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014446

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49198-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation