Lecture Notes in Computer Science Volume 299, 1988, pp 149-164
Date: 10 Jun 2005

Product and iteration of module specifications

* Final gross prices may vary according to local VAT.

Get Access


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.