Sequentiality and the CPS Semantics of Fresh Names | Zendy

James D. Laird | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Sequentiality and the CPS Semantics of Fresh Names

Author(s) -

James D. Laird

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.02.035

Subject(s) - semantics (computer science) , abstraction , denotational semantics , computer science , interpretation (philosophy) , simple (philosophy) , class (philosophy) , translation (biology) , domain theory , calculus (dental) , domain (mathematical analysis) , programming language , algebra over a field , mathematics , operational semantics , discrete mathematics , pure mathematics , artificial intelligence , medicine , mathematical analysis , philosophy , biochemistry , chemistry , dentistry , epistemology , messenger rna , gene

We investigate the domain-theoretic denotational semantics of a CPS calculus with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with first-class continuations. We describe a notion of “FM-categorical” model for our calculus, with a simple interpretation of name generation due to Shinwell and Pitts. We show that full abstraction fails (at order two) in the simplest instance of such a model (FM-cpos) because of the presence of parallel elements. Accordingly, we define a sequential model — FM-biorders, based on “bistable FM-bicpos” and bistable functions — and prove that it is fully abstract up to order four (our main result), but that full abstraction fails at order five

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research