From Operational Semantics to Domain Theory
journal contribution
posted on 2023-05-16, 10:21 authored by Mason, IA, Smith, SF, Talcott, CLThis paper builds domain theoretic concepts upon an operational foundation. The basic operational theory consists of a single step reduction system from which an operational ordering and equivalence on programs are defined. The theory is then extended to include concepts from domain theory, including the notions of directed set, least upper bound, complete partial order, monotonicity, continuity, finite element, ω-algebraicity, full abstraction, and least fixed point properties. We conclude by using these concepts to construct a (strongly) fully abstract continuous model for our language. In addition we generalize a result of Milner and prove the uniqueness of such models. © 1996 Academic Press, Inc.
History
Publication title
Information and ComputationVolume
128Pagination
26-47ISSN
0890-5401Department/School
School of Natural SciencesPublisher
Academic Press Inc Elsevier SciencePlace of publication
New YorkRepository Status
- Restricted
Socio-economic Objectives
Other information and communication services not elsewhere classifiedUsage metrics
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC