@inproceedings{a7dc686f84694faea1c559a8b5df3191,

title = "On the power of algebraic specifications",

abstract = "We study the expressive power of different algebraic specification methods. In contrast to (nonhierarchical) initial and terminal algebra specifications which correspond to semicomputable and cosemicomputable algebras, hierarchical specifications - as e.g. in the specification language CLEAR - allow to specify hyperarithmetical algebras and are characterized by them. For partial abstract types we prove that every computable partial algebra has an equational hidden enrichment specification and discuss the power of hierarchical partial algebras. Finally we give an example of the specification of a simple nondeterministic programming language.",

author = "Bergstra, {J. A.} and M. Broy and Tucker, {J. V.} and M. Wirsing",

note = "Publisher Copyright: {\textcopyright} by Springer-Verlag Berlin Heidelberg 1981.; 10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981 ; Conference date: 31-08-1981 Through 04-09-1981",

year = "1981",

doi = "10.1007/3-540-10856-4_85",

language = "English",

isbn = "9783540108566",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "193--204",

editor = "Jozef Gruska and Michal Chytil",

booktitle = "Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium",

}