Authors
Donald Sannella, Martin Wirsing
Publication date
1983
Conference
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983 4
Pages
413-427
Publisher
Springer Berlin Heidelberg
Description
A kernel specification language called ASL is presented. ASL comprises five fundamental but powerful specification-building operations and has a simple semantics. Behavioural abstraction with respect to a set of observable sorts can be expressed, and (recursive) parameterised specifications can be defined using a more powerful and more expressive parameterisation mechanism than usual. A simple notion of implementation permitting vertical and horizontal composition (i.e. it is transitive and monotonic) is adopted and compared with previous more elaborate notions. A collection of identities is given which can provide a foundation for the development of programs by transformation.
Total citations
Scholar articles
D Sannella, M Wirsing - Foundations of Computation Theory: Proceedings of …, 1983
D Sarmella, M Wlrsing - Foundations of Computation Theory: Proceedings of …, 1983