Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 13:20, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Toward formal development of programs from algebraic specifications: Parameterisation revisited |
scientific article |
Statements
Toward formal development of programs from algebraic specifications: Parameterisation revisited (English)
0 references
4 July 1994
0 references
Parameterization is an important mechanism for structuring programs and specifications into modular units. The interplay between parameterization (of programs and of specifications) and specification (of parameterized and of non-parameterized programs) is analyzed, exposing important semantic and methodological differences between specifications of parameterized programs and parameterized specifications. The extension of parameterization mechanisms to the higher-order case is considered, both for parameterized programs and parameterized specifications, and the methodological consequences of such an extension are explored. A specification formalism with parameterization of an arbitrary order is presented. Its denotational-style semantics is accompanied by an inference system for proving that an object satisfies a specification. The formalism includes the basic specification-building operations of the ASL specification language and is institution independent.
0 references
algebraic specifications
0 references
formal program development
0 references
parameterization
0 references
ASL specification language
0 references