Algebraic specifications for domain theory

  • Friederike Nickl
Contributed Papers Semantics 2
Part of the Lecture Notes in Computer Science book series (LNCS, volume 349)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bauer et al. 85]
    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.Google Scholar
  2. [Ehrich, Lipeck 83]
    H.D. Ehrich, U. Lipeck: Algebraic Domain Equations. Theoretical Computer Science 27, pp.167–196, 1983.Google Scholar
  3. [Möller 85]
    B. Möller: On the algebraic specification of infinite objects — ordered and continuous models of algebraic types. Acta Informatic 22, pp. 537–578, 1985.Google Scholar
  4. [Möller, Dosch 85]
    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 1985Google Scholar
  5. [Nickl 88]
    F. Nickl: Algebraic specification of semantic domain constructions. Dissertation. Research Report MIP-8815, Fakultät für Mathematik und Informatik, Universität PassauGoogle Scholar
  6. [Scott 81]
    D.S.Scott: Lectures on a mathematical theory of computation. Technical report PRG-19, Oxford Computing Laboratory, 1981.Google Scholar
  7. [Scott 82]
    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 1982Google Scholar
  8. [Winskel, Larsen 84]
    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, 1984Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Friederike Nickl
    • 1
  1. 1.Universität PassauPassau

Personalised recommendations