Erratic Fudgets: A semantic theory for an embedded coordination language
From MaRDI portal
Publication:1870854
DOI10.1016/S0167-6423(02)00088-6zbMath1026.68091OpenAlexW2652642432MaRDI QIDQ1870854
Andrew Moran, David Sands, Magnus Carlsson
Publication date: 14 May 2003
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(02)00088-6
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Related Items
Extracting total Amb programs from proofs ⋮ Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec ⋮ Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) ⋮ On generic context lemmas for higher-order calculi with sharing ⋮ Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi ⋮ Deciding inclusion of set constants over infinite non-strict data structures ⋮ Closures of may-, should- and must-convergences for contextual equivalence
Uses Software