Abstract
This paper deals with the algebraic specification of Scott's domains. Starting from a specification characterizing the bounded complete θ-algebraic cpo's the definition of a cpo representing this class of domains is developed. The standard domain constructions can be represented as continuous functions on this cpo using the method of algebraic specification. As an example a specification of the function domain construction is given.
Preview
Unable to display preview. Download preview PDF.
References
F.L.Bauer, R.Berghammer, M.Broy, W.Dosch, F.Geiselbrechtinger, R.Gnatz, E.Hangel, W.Hesse, B. Krieg-Brückner, A.Laut, T.Matzner, B.Möller, F.Nickl, H.Partsch, P.Pepper, K.Samelson, M.Wirsing, H. Wössner: The Munich project CIP, Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183, Springer, 1985.
H.D. Ehrich, U. Lipeck: Algebraic Domain Equations. Theoretical Computer Science 27, pp.167–196, 1983.
B. Möller: On the algebraic specification of infinite objects — ordered and continuous models of algebraic types. Acta Informatic 22, pp. 537–578, 1985.
B. Möller, W. Dosch: On the algebraic specification of domains. In: H.J.Kreowski (ed): Recent trends in in data type specification, Informatik-Fachberichte 116, pp. 178–196, Springer 1985
F. Nickl: Algebraic specification of semantic domain constructions. Dissertation. Research Report MIP-8815, Fakultät für Mathematik und Informatik, Universität Passau
D.S.Scott: Lectures on a mathematical theory of computation. Technical report PRG-19, Oxford Computing Laboratory, 1981.
D.S. Scott: Domains for denotational semantics. In: M.Nielsen, E.M.Schmidt (eds.): Proc. of the ICALP 82, Aarhus, Denmark, Lecture Notes in Computer Science 140, pp. 577–613, Springer 1982
G. Winskel, K. Larsen: Using information systems to solve recursive domain equations effectively. In: G.Kahn and G.D. Plotkin (eds.): Semantics of Data Types, Sophia-Antipolis. Lecture Notes in Computer Science 173, pp. 109–130, Springer, 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nickl, F. (1989). Algebraic specifications for domain theory. In: Monien, B., Cori, R. (eds) STACS 89. STACS 1989. Lecture Notes in Computer Science, vol 349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028999
Download citation
DOI: https://doi.org/10.1007/BFb0028999
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50840-3
Online ISBN: 978-3-540-46098-5
eBook Packages: Springer Book Archive