Advertisement

Continuous auxiliary relations

  • Tsutomu Kamimura
  • Adrian Tang
Part IV Domain Theory And Theoretical Computation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 298)

Abstract

In this article, we introduce finite auxiliary relations and show that in a domain given by a retract of Plotkin's SFP object, Scott's way-below relation can be obtained as the union of an ascending chain of finite auxiliary relations.

Keywords

Maximal Element SIAM Journal Interpolation Property Galois Connection Auxiliary Relation 
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.

References

  1. [1]
    G. Gierz, K. Hofman, K. Kiemel, J. Lawson, M. Mislove and D. Scott, A Compendium of Continuous Lattices, Springer Verlag, 1981.Google Scholar
  2. [2]
    C. Gunter, Profinite solutions for Recursive Domain Equations, Ph.D. dissertation, University of Wisconsin, 1985.Google Scholar
  3. [3]
    T. Kamimura and A. Tang, Retracts of SFP objects, Lecture Notes in Computer Science 239, 1986, 135–148.Google Scholar
  4. [4]
    T. Kamimura and A. Tang, Domains as Finitely Continuous CPOs, Technical Report, 1987.Google Scholar
  5. [5]
    G. Plotkin, A Powerdomain Construction, SIAM Journal of Computing, vol. 5, no. 3, 1976, 452–487.CrossRefGoogle Scholar
  6. [6]
    D. Scott, Continuous Lattices, Lecture Notes in Mathematics 274, 1970, 97–136.Google Scholar
  7. [7]
    D. Scott, Data Types as Lattices, SIAM Journal of Computing, vol. 5, no. 3, 1976, 522–587.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Tsutomu Kamimura
    • 1
  • Adrian Tang
    • 2
  1. 1.Tokyo Research LaboratoryIBM JapanTokyoJapan
  2. 2.Department of Computer ScienceUniversity of Missouri, Kansas CityKansas City

Personalised recommendations