Product and iteration of module specifications

  • Francesco Parisi-Presicce
Algebraic Specifications

DOI: 10.1007/BFb0026102

Volume 299 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Parisi-Presicce F. (1988) Product and iteration of module specifications. In: Dauchet M., Nivat M. (eds) CAAP '88. CAAP 1988. Lecture Notes in Computer Science, vol 299. Springer, Berlin, Heidelberg


A new operation on module specifications, called iteration, is introduced. It resembles Kleene's star construction for regular languages, it is closely related to the operations of union and composition and it is motivated by the need to define potentially infinite export interfaces using a single module. The iteration of a module M can be viewed as the limit of a sequence of products of the module with itself. The construction is shown to be well defined and to provide a solution to a fixed point equation at the specification level. More general recursive definitions are discussed and certain fixed point equations solved.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Francesco Parisi-Presicce
    • 1
  1. 1.Dipartimento di MatematicaUniversita' dell'AquilaL'AquilaItaly