Advertisement

A topological framework for cpos lacking bottom elements

  • Austin C. Melton
  • David A. Schmidt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 239)

Keywords

Partial Order Weak Topology Denotational Semantic Semantic Domain Compact Element 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. [Gie]
    Gierz, G., et. al. A Compendium of Continuous Lattices, Springer-Verlag, Berlin, 1980.Google Scholar
  2. [Kam]
    Kamimura, T., and Tang, A. Total objects of domains, Theoretical Computer Science 1984.Google Scholar
  3. [Plo]
    Plotkin, G. The category of complete partial orders, Postgraduate lecture notes, Computer Science Dept., Edinburgh University, Scotland, 1982.Google Scholar
  4. [Rey]
    Reynolds, J. Semantics of the domain of flow diagrams, Journal of the ACM 24-3(1977) 484–503.Google Scholar
  5. [Sch]
    Schmidt, D. Denotational Semantics, Allyn and Bacon, Boston, in press.Google Scholar
  6. [Sco1]
    Scott, D. Lectures on a mathematical theory of computation, Report PRG-19, Programming Research Group, Oxford University, 1980.Google Scholar
  7. [Sco2]
    Scott, D. Domains for denotational semantics, Proc. Ninth ICALP, Lecture Notes in Computer Science 140, Springer-Verlag, 1982, pp.577–613.Google Scholar
  8. [Wil]
    Willard, S. General Topology, Addison-Wesley, Boston, 1968.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Austin C. Melton
    • 1
  • David A. Schmidt
    • 2
  1. 1.Computer Science DepartmentKansas State UniversityManhattan
  2. 2.Computer Science DepartmentIowa State UniversityAmes

Personalised recommendations