Title | ||
---|---|---|
Toward formal development of programs from algebraic specifications: Parameterisation revisited |
Abstract | ||
---|---|---|
Parameterisation is an important mechanism for structuring programs and specifications into modular units. The interplay between parameterisation (of programs and of specifications) and specification (of parameterised and of non-parameterised programs) is analysed, exposing important semantic and methodological differences between specifications of parameterised programs and parameterised specifications. The extension of parameterisation mechanisms to the higher-order case is considered, both for parameterised programs and parameterised specifications, and the methodological consequences of such an extension are explored.A specification formalism with parameterisation 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. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/BF01191893 | Acta Inf. |
Keywords | Field | DocType |
Operating System,Data Structure,Communication Network,Information Theory,Computational Mathematic | Algebraic specification,Specification language,Discrete mathematics,Data structure,Programming language,Computer science,Language Of Temporal Ordering Specification,Modular design,Formalism (philosophy),Structuring,Semantics | Journal |
Volume | Issue | ISSN |
29 | 8 | 0001-5903 |
Citations | PageRank | References |
94 | 7.17 | 25 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Donald Sannella | 1 | 99 | 7.60 |
Stefan Sokolowski | 2 | 94 | 7.17 |
Andrzej Tarlecki | 3 | 1514 | 124.61 |