From operational semantics to domain theory

DOI10.1006/INCO.1996.0061zbMATH Open0856.68094OpenAlexW2062233055MaRDI QIDQ1923089FDOQ1923089

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

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

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

zbMATH Keywords

domain theoryoperational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (9)

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

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)