(pages.lip6.fr) Semantics of Combinations in Scheme (orleans.pdf)

ROAM_REFS: https://pages.lip6.fr/Christian.Queinnec/PDF/orleans.pdf

S. Anglade, J.J. Lacrampe, and C. Queinnec

** Abstract

This paper presents a denotational semantics for the combinations of Scheme language. Scheme leaves unspecified the order of evaluation of the terms of a combination. Our purpose is to formally and denotationally characterize such indeterminancey. We achieve this by extending the denotation as well as the domain of final answers to take into account the various possible orders of evaluation.

Local Graph

org-roam 2a07e4ea-610b-4c9a-bb84-d961fb2450e5 Code and Coffee Book Club 118cbc2f-fd50-4360-940e-707594df0f8e (pages.lip6.fr) Semantics of Combinat... 2a07e4ea-610b-4c9a-bb84-d961fb2450e5->118cbc2f-fd50-4360-940e-707594df0f8e