Skip to main content

A universal domain technique for profinite posets

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 194))

Included in the following conference series:

Abstract

We introduce a category of what we call profinite domains. This category of domains differs from most of the familiar ones in having a categorical coproduct as well as being cartesian closed. Study of these domains is carried out through the use of an equivalent category of pre-orders in a manner similar to the information systems approach advocated by Dana Scott and others. A class of universal profinite domains is defined and used to derive sufficient conditions for the profinite solution of domain equations involving continuous functors. Necessary conditions for the existence of such solutions are also given and used to derive results about solutions of some important equations. A new universal bounded complete domain is also demonstrated using a functor which has bounded complete domains as its fixed points.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Gunter, C. 1985 Profinite Solutions for Recursive Domain Equations. Doctoral Dissertation, University of Wisconsin, Madison, 1985, 181 pp.

    Google Scholar 

  • Kamimura, T. and Tang, A. 1984 Finitely Continuous Posets. Technical Report, no. TR-84-1, University of Kansas, 1984, 26 pp.

    Google Scholar 

  • Lambek, J. and Scott, P.J. 1984 Introduction to Higher-Order Categorical Logic Pre-print, 1984, 200+ pp.

    Google Scholar 

  • MacQueen, D., Plotkin, G. D. and Sethi, R. 1984 An ideal model for recursive polymorhpic types. In: Eleventh Symposium on Principles of Programming Languages, edited by K. Kennedy. Association for Computing Machinery, 1984, pp. 165–174.

    Google Scholar 

  • 1976 A powerdomain construction. SIAM Journal of Computing, vol. 5 (1976), pp. 452–487.

    Article  Google Scholar 

  • 1978 T w as a universal domain. Journal of Computer System Sciences, vol. 17 (1978b), pp.209–236.

    Article  Google Scholar 

  • 1972 Continuous Lattices. In: Toposes, Algebraic Geometry and Logic, edited by F. W. Lawvere. Lecture Notes in Mathematics, vol. 274, Springer-Verlag, 1972, pp. 97–136.

    Google Scholar 

  • 1976 Data types as lattices. SIAM Journal of Computing, vol. 5 (1976), pp. 522–587.

    Article  Google Scholar 

  • Scott, D. S. 1981a Lectures on a mathematical theory of computation. Technical Report, no. PRG-19, Oxford University Computing Laboratory, 1981a, 148 pp.

    Google Scholar 

  • Scott, D. S. 1981b Some ordered sets in computer science. In: Ordered Sets, edited by I. Rival. D. Reidel Publishing Company, 1981b, pp. 677–718.

    Google Scholar 

  • 1982 Domains for denotational semantics. In: ICALP 82, edited by M. Nielsen, E. M. Schmidt. Lecture Notes in Computer Science, vol. 140, Springer-Verlag, 1982, pp. 577–613.

    Google Scholar 

  • Smyth, M. B. 1983 The largest cartesian closed category of domains. Theoretical Computer Science, vol. 27 (1983), pp. 109–119.

    Article  Google Scholar 

  • Stoy, J. E. 1977 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. M.I.T. Press, 1977, 414 pp.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Wilfried Brauer

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gunter, C.A. (1985). A universal domain technique for profinite posets. In: Brauer, W. (eds) Automata, Languages and Programming. ICALP 1985. Lecture Notes in Computer Science, vol 194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015748

Download citation

  • DOI: https://doi.org/10.1007/BFb0015748

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15650-5

  • Online ISBN: 978-3-540-39557-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics