Comparing categories of domains

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We discuss some of the reasons for the proliferation of categories of domains suggested for the mathematical foundations of the Scott-Strachey theory of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematical questions about the examples.

Original languageEnglish (US)
Title of host publicationMathematical Foundations of Programming Semantics - International Conference, Proceedings
EditorsAustin Melton
PublisherSpringer-Verlag
Pages101-121
Number of pages21
ISBN (Print)9783540168164
DOIs
StatePublished - Jan 1 1986
Externally publishedYes
EventInternational Conference on Mathematical Foundations of Programming Semantics, 1985 - Manhattan, United States
Duration: Apr 11 1985Apr 12 1985

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume239 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Conference on Mathematical Foundations of Programming Semantics, 1985
CountryUnited States
CityManhattan
Period4/11/854/12/85

Fingerprint

Computer programming
Semantics
Proliferation
Programming
Relationships

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Gunter, C. (1986). Comparing categories of domains. In A. Melton (Ed.), Mathematical Foundations of Programming Semantics - International Conference, Proceedings (pp. 101-121). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 239 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-16816-8_27

Comparing categories of domains. / Gunter, Carl.

Mathematical Foundations of Programming Semantics - International Conference, Proceedings. ed. / Austin Melton. Springer-Verlag, 1986. p. 101-121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 239 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gunter, C 1986, Comparing categories of domains. in A Melton (ed.), Mathematical Foundations of Programming Semantics - International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 239 LNCS, Springer-Verlag, pp. 101-121, International Conference on Mathematical Foundations of Programming Semantics, 1985, Manhattan, United States, 4/11/85. https://doi.org/10.1007/3-540-16816-8_27
Gunter C. Comparing categories of domains. In Melton A, editor, Mathematical Foundations of Programming Semantics - International Conference, Proceedings. Springer-Verlag. 1986. p. 101-121. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-16816-8_27
Gunter, Carl. / Comparing categories of domains. Mathematical Foundations of Programming Semantics - International Conference, Proceedings. editor / Austin Melton. Springer-Verlag, 1986. pp. 101-121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{4d99c3b4b7f246e897ee4f756b3286ce,
title = "Comparing categories of domains",
abstract = "We discuss some of the reasons for the proliferation of categories of domains suggested for the mathematical foundations of the Scott-Strachey theory of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematical questions about the examples.",
author = "Carl Gunter",
year = "1986",
month = "1",
day = "1",
doi = "10.1007/3-540-16816-8_27",
language = "English (US)",
isbn = "9783540168164",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "101--121",
editor = "Austin Melton",
booktitle = "Mathematical Foundations of Programming Semantics - International Conference, Proceedings",

}

TY - GEN

T1 - Comparing categories of domains

AU - Gunter, Carl

PY - 1986/1/1

Y1 - 1986/1/1

N2 - We discuss some of the reasons for the proliferation of categories of domains suggested for the mathematical foundations of the Scott-Strachey theory of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematical questions about the examples.

AB - We discuss some of the reasons for the proliferation of categories of domains suggested for the mathematical foundations of the Scott-Strachey theory of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematical questions about the examples.

UR - http://www.scopus.com/inward/record.url?scp=18944386156&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=18944386156&partnerID=8YFLogxK

U2 - 10.1007/3-540-16816-8_27

DO - 10.1007/3-540-16816-8_27

M3 - Conference contribution

SN - 9783540168164

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 101

EP - 121

BT - Mathematical Foundations of Programming Semantics - International Conference, Proceedings

A2 - Melton, Austin

PB - Springer-Verlag

ER -