Full Abstraction for Reduced ML

DOI10.1007/978-3-642-00596-1_4MaRDI QIDQ3617719zbMATH OpenOpenAlexFDO

Authors Andrzej S. Murawski, Nikos Tzevelekos

Publication date 31 March 2009

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00596-1_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Full abstraction for Reduced ML
• scientific article; zbMATH DE number 194122
• Game semantics for nominal exceptions
• Full abstraction for PCF
• scientific article; zbMATH DE number 3976319

Cites work

• A game semantics of names and pointers
• A new approach to abstract syntax with variable binding
• Algorithmic nominal game semantics
• Bad Variables Under Control
• Foundations of Software Science and Computation Structures
• Full abstraction for PCF
• Functions with local state: regularity and undecidability
• Game theoretic analysis of call-by-value computation
• Games and full abstraction for FPC.
• scientific article; zbMATH DE number 1223609 (Why is no real title available?)
• scientific article; zbMATH DE number 1499102 (Why is no real title available?)
• Notions of computation and monads
• On full abstraction for PCF: I, II and III
• On the semantics of the bad-variable constructor in Algol-like languages
• Operational reasoning for functions with local state
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(6)

• Algorithmic games for full ground references
• ML and extended branching VASS
• Algorithmic nominal game semantics
• Full abstraction for Reduced ML
• Program equivalence in a simple language with state
• Game semantics for nominal exceptions

Describes a project that uses

Uses Software

• ML

This page was built for publication: Full Abstraction for Reduced ML

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