Full abstraction for Reduced ML

DOI10.1016/J.APAL.2013.05.007MaRDI QIDQ388212zbMATH OpenOpenAlexFDO

Authors Andrzej S. Murawski, Nikos Tzevelekos

Publication date 19 December 2013

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2013.05.007

zbMATH Keywords

full abstractiongame semanticscontextual equivalenceML-like referencesnominal techniquesReduced ML

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
• Full abstraction for PCF
• Full abstraction for nominal general references
• Full abstraction for idealized Algol with passive expressions

Cites work

• scientific article; zbMATH DE number 1223609 (Why is no real title available?)
• scientific article; zbMATH DE number 1499102 (Why is no real title available?)
• A game semantics of names and pointers
• A new approach to abstract syntax with variable binding
• Algorithmic games for full ground references
• Algorithmic nominal game semantics
• Bad Variables Under Control
• Block structure vs. scope extrusion: between innocence and omniscience
• Foundations of Software Science and Computation Structures
• Full Abstraction for Reduced ML
• Full abstraction for PCF
• Full abstraction for nominal general references
• Functions with local state: regularity and undecidability
• Game Semantics for Higher-Order Concurrency
• Game-theoretic analysis of call-by-value computation
• Games and full abstraction for FPC.
• Global state considered helpful
• 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

Cited in

(3)

• Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts
• scientific article; zbMATH DE number 7559490 (Why is no real title available?)
• Full Abstraction for Reduced ML

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 Q388212)