From operational semantics to domain theory

DOI10.1006/INCO.1996.0061zbMath0856.68094OpenAlexW2062233055MaRDI QIDQ1923089

Ian A. Mason, Carolyn L. Talcott, Scott F. Smith

Publication date: 1 October 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0061

zbMATH Keywords

operational semanticsdomain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (8)

Labelled reductions, runtime errors, and operational subsumption ⋮ Program equivalence in a typed probabilistic call-by-need functional language ⋮ Unnamed Item ⋮ On generic context lemmas for higher-order calculi with sharing ⋮ An operational domain-theoretic treatment of recursive types ⋮ Operational domain theory and topology of sequential programming languages ⋮ Observational program calculi and the correctness of translations ⋮ Syntactic Logical Relations for Polymorphic and Recursive Types

This page was built for publication: From operational semantics to domain theory