Parameter passing in algebraic specification languages

  • Hartmut Ehrig
  • Hans-Jörg Kreowski
  • James Thatcher
  • Eric Wagner
  • Jesse Wright
Chapter 5 Submitted Papers

DOI: 10.1007/3-540-11490-4_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)
Cite this paper as:
Ehrig H., Kreowski HJ., Thatcher J., Wagner E., Wright J. (1982) Parameter passing in algebraic specification languages. In: Staunstrup J. (eds) Program Specification. Lecture Notes in Computer Science, vol 134. Springer, Berlin, Heidelberg

Abstract

In this paper we study the semantics of the parameter passing mechanism in algebraic specification languages. More precisely, this problem is studied for parameterized data types and parameterized specifications. The given results include the extension of the model functor (which is useful for correctness proofs) and the semantic properties of the result of inserting actual parameters into parameterized specifications. In particular, actual parameters can be parameterized and the result is nested parameterized specification. Correctness of an applied (matrix (int)) or a nested (bintree (string ())) parameterized specification is shown given correctness of the parts. The formal theory in this paper is restricted to the basic algebraic case where only equations are allowed in the parameter declaration and parameter passing is given by specification morphisms. But we also give the main ideas of a corresponding theory with requirements where we allow different kinds of restrictions in the parameter declaration.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1982

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Hans-Jörg Kreowski
    • 1
  • James Thatcher
    • 2
  • Eric Wagner
    • 2
  • Jesse Wright
    • 2
  1. 1.Fachbereich Informatik (20) Institut für Software und Theoretische InformatikTechnische Universität BerlinBerlin 10Germany
  2. 2.Mathematical Sciences DepartmentIBM Research CenterYorktown HeightsUSA

Personalised recommendations