A kernel language for algebraic specification and implementation extended abstract

Donald Sannella; Martin Wirsing

doi:10.1007/3-540-12689-9_122

A kernel language for algebraic specification and implementation extended abstract

Donald Sannella, Martin Wirsing

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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

Original language	English
Title of host publication	Foundations of Computation Theory
Subtitle of host publication	Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983
Editors	Marek Karpinski
Publisher	Springer
Pages	413-427
Number of pages	15
ISBN (Electronic)	978-3-540-38682-7
ISBN (Print)	978-3-540-12689-8
DOIs	https://doi.org/10.1007/3-540-12689-9_122
Publication status	Published - 1983

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	158
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-12689-9_122

Cite this

Sannella, D., & Wirsing, M. (1983). A kernel language for algebraic specification and implementation extended abstract. In M. Karpinski (Ed.), Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983 (pp. 413-427). (Lecture Notes in Computer Science; Vol. 158). Springer. https://doi.org/10.1007/3-540-12689-9_122

@inproceedings{0e6d77f5d00b482f8451403e34c84735,

title = "A kernel language for algebraic specification and implementation extended abstract",

abstract = "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",

author = "Donald Sannella and Martin Wirsing",

year = "1983",

doi = "10.1007/3-540-12689-9_122",

language = "English",

isbn = "978-3-540-12689-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "413--427",

editor = "Marek Karpinski",

booktitle = "Foundations of Computation Theory",

address = "United Kingdom",

}

Sannella, D & Wirsing, M 1983, A kernel language for algebraic specification and implementation extended abstract. in M Karpinski (ed.), Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983. Lecture Notes in Computer Science, vol. 158, Springer, pp. 413-427. https://doi.org/10.1007/3-540-12689-9_122

A kernel language for algebraic specification and implementation extended abstract. / Sannella, Donald; Wirsing, Martin.
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983. ed. / Marek Karpinski. Springer, 1983. p. 413-427 (Lecture Notes in Computer Science; Vol. 158).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A kernel language for algebraic specification and implementation extended abstract

AU - Sannella, Donald

AU - Wirsing, Martin

PY - 1983

Y1 - 1983

N2 - 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

AB - 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

U2 - 10.1007/3-540-12689-9_122

DO - 10.1007/3-540-12689-9_122

M3 - Conference contribution

SN - 978-3-540-12689-8

T3 - Lecture Notes in Computer Science

SP - 413

EP - 427

BT - Foundations of Computation Theory

A2 - Karpinski, Marek

PB - Springer

ER -

A kernel language for algebraic specification and implementation extended abstract

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this