Sophie Anglade, Jean-Jacques Lacrampe, and Christian Queinnec. Semantics of combinations in scheme. Lisp Pointers, ACM SIGPLAN Special Interest Publication on Lisp, 7(4):15-20, October-December 1995.
This paper presents a denotational semantics for the combinations of the Scheme language. Scheme leaves unspecified the order of evaluation of the terms of a combination. Our purpose is to formally and denotationally characterize such indeterminacy. 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.
Christian Queinnec. DMeroon : Overview of a distributed class-based causally-coherent data model. In Takayasu Ito, Robert H Halstead, Jr, and Christian Queinnec, editors, PSLS 95 - Parallel Symbolic Langages and Systems, Lecture Notes in Computer Science 1068, pages 297-309, Beaune (France), October 1995.
DMeroon is a library of C functions that provides a data model above a coherently distributed shared memory. DMeroon allows users to statically or dynamically create new classes, to dynamically instantiate these classes and to dynamically and coherently share the resulting instances over a network. DMeroon automatically takes care of representation and alignment, migrating and sharing objects, local and global garbage collections. This document describes DMeroon and its philosophy of design.
Christian Queinnec. Lisp, langage de calcul symbolique, chapter H 2 520, pages 1-13. Techniques de l'ingénieur, Paris (France), 1995. seconde révision.
© C. Queinnec fecit (2012-02-19)