Skip to main content
Article thumbnail
Location of Repository

On the Semantics of Modular Structuring Facilities in Specification Languages

By C.A. Middelburg


A mathematical framework for the semantics of modular structuring facilities in\ud specification languages is described informally and in broad outline. Its use for a\ud semantics of the modular structuring facilities of a specification language closely\ud related to VDM-SL is briefly explained. The sketched approach is claimed to\ud be applicable to a wide variety of specification languages. It further permits the\ud analysis of the consequences of different degrees of semantic force of the modular\ud structuring facilities. Some general consequences are mentioned. A way to use\ud the presented framework for a semantics of modular structuring facilities added\ud to the standardized version of VDM-SL is outlined

Topics: Wijsbegeerte, Description Algebra, Lambda Calculus
Year: 1994
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.