Advertisement

Universal quasi-prime algebraic domains

Extended abstract
  • Guo-Qiang Zhang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 802)

Abstract

This paper demonstrates the existence of a saturated quasi-prime algebraic domain. It also presents a cpo of quasi-prime generated information systems for solving domain equations.

Key Words

Domain theory semantics of programming languages universal structures lattices universal algebra 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Droste, M., and Göbel, R. Universal domains in the theory of denotational semantics of programming languages. Proc. of the IEEE 5th annual symposium on logic in computer science, 1990.Google Scholar
  2. [2]
    Droste, M., and Göbel, R. Universal information systems. International Journal of Foundations of Computer Science vol. 1, no. 4, 1991.Google Scholar
  3. [3]
    Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., and Scott, D.S. A Compendium of Continuous Lattices. Springer-Verlag, 1980.Google Scholar
  4. [4]
    Gunter, C. Universal profinite domains. Information and Computation 72, 1987.Google Scholar
  5. [5]
    Larsen, K. and Winskel, G. Using information systems to solve recursive domain equations effectively. In Lecture Notes in Computer Science 173, 1984.Google Scholar
  6. [6]
    Scott, D.S. Domains for denotational semantics. In Lecture Notes in Computer Science 140, 1982.Google Scholar
  7. [7]
    Winskel, G. An introduction to event structures. Lecture Notes in Computer Science 354. 1988.Google Scholar
  8. [8]
    Zhang, G.-Q. DI-domains as prime information systems. Information and Computation 100, 1992. Also in Lecture Notes in Computer Science 372 (ICALP-1989, Italy).Google Scholar
  9. [9]
    Zhang, G.-Q. Some monoidal closed categories of domains and event structures Mathematical Structures in Computer Science, to appear. Also: Proceedings of the 7th Conference on Mathematical Foundations of Programming Semantics, Pittsburgh, 1991.Google Scholar
  10. [10]
    Zhang, G.-Q. Logic of Domains. Birkhauser, Boston, 1991.Google Scholar
  11. [11]
    Zhang, G.-Q. Quasi-prime algebraic domains: a linear category of non-linear functions. To appear. 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Guo-Qiang Zhang
    • 1
  1. 1.Department of EECS, AI LaboratoryUniversity of MichiganAnn Arbor

Personalised recommendations