Sequentiality and the CPS semantics of fresh names

DOI10.1016/J.ENTCS.2007.02.035zbMATH Open1316.68067OpenAlexW1994230003MaRDI QIDQ5262939FDOQ5262939

Author name not available (Why is that?)

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.035

Recommendations

• On a monadic semantics for freshness
• scientific article; zbMATH DE number 3976319
• A game semantics of names and pointers
• Functional and Logic Programming
• Sequential functions on indexed domains and full abstraction for a sub-language of PCF

zbMATH Keywords

FM-setsfull abstractionsequentialitycontinuation-passing stylefresh names

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Cites Work

• Foundations of Software Science and Computation Structures
• Fully abstract models of typed \(\lambda\)-calculi
• Computer Science Logic
• On a monadic semantics for freshness
• Bistable Biorders: A Sequential Domain Theory

Cited In (3)

• Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts
• On a monadic semantics for freshness
• Freshness and Name-Restriction in Sets of Traces with Names

This page was built for publication: Sequentiality and the CPS semantics of fresh names

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