From operational semantics to domain theory

DOI10.1006/INCO.1996.0061MaRDI QIDQ1923089zbMATH OpenOpenAlexFDO

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

Publication date 1 October 1996

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

domain theoryoperational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• From operational to denotational semantics
• Operational domain theory and topology of sequential programming languages
• scientific article; zbMATH DE number 3976319
• scientific article; zbMATH DE number 194122
• Domain-Theoretic Foundations of Functional Programming

Cited in

(9)

• From operational to denotational semantics
• An operational domain-theoretic treatment of recursive types
• Observational program calculi and the correctness of translations
• Program equivalence in a typed probabilistic call-by-need functional language
• Syntactic logical relations for polymorphic and recursive types
• Operational domain theory and topology of sequential programming languages
• scientific article; zbMATH DE number 1231621 (Why is no real title available?)
• Labelled reductions, runtime errors, and operational subsumption
• On generic context lemmas for higher-order calculi with sharing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923089)