Mutually recursive algebraic domain equations

Abstract

A theory of mutually recursive algebraic domain equations is developed. The theory may provide algebraic interpretation of domain equations as known from VDM's specification language Meta-IV. A set of mutually recursive algebraic domain equations is roughly spoken a set of parameterized algebraic specifications applying instances of each other in a recursive fashion. A solution to a set of algebraic domain equations can be constructed by using a new parameter passing technique called recursive parameter passing. It is sketched how the theory makes sense under an arbitrary institution.