A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Modular structuring of VDM specifications in VVSL
1992
Formal Aspects of Computing
VVSL is a language for writing modularly structured VDM specifications. Its modularization mechanism permits two modules to have parts of their state in common, including hidden parts. Firstly, this paper gives an overview of the structuring sublanguage of VVSL and a concise description of its semantic foundations: DA (a general algebraic model of modules) and λπcalculus (a variant of classical lambda calculus). The paper also presents a variation on a 'challenge problem' of Fitzgerald and
doi:10.1007/bf01214955
fatcat:3w4llyuqmbbzpha32x4gqezrtu