Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- articleMay 1998
Threads Yield Continuations
Lisp and Symbolic Computation (LISP), Volume 10, Issue 3Pages 223–236https://doi.org/10.1023/A:1007782300874Just as a traditional continuation represents the rest of a computation from a given point in the computation, a subcontinuation represents the rest of a subcomputation from a given point in the subcomputation. Subcontinuations are more expressive than ...
- articleMay 1998
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation (LISP), Volume 10, Issue 3Pages 237–271https://doi.org/10.1023/A:1007734417713We present trace-based abstract interpretation, a unification of several lines of research on applying Cousot-Cousot-style abstract interpretation a.i. to operational semantics definitions (such as flowchart, big-step, and small-step semantics) that ...
- articleMay 1998
The Theory of Fexprs is Trivial
Lisp and Symbolic Computation (LISP), Volume 10, Issue 3Pages 189–199https://doi.org/10.1023/A:1007720632734We provide a very simple model of a reflective facility based on the pure λ-calculus, and we show that its theory of contextual equivalence is trivial: two terms in the language are contextually equivalent iff they are α-congruent.
- articleJune 1997
An Unboxed Operational Semantics for ML Polymorphism
Lisp and Symbolic Computation (LISP), Volume 10, Issue 1Pages 61–91https://doi.org/10.1023/A:1007730624053We present an unboxed operational semantics for an ML-style polymorphic language. Different from the conventional formalisms, the proposed semantics accounts for actual representations of run-time objects of various types, and supports a refined notion of ...
-
- articleJune 1997
UCL+P—Defining and Implementing Persistent Common Lisp
Lisp and Symbolic Computation (LISP), Volume 10, Issue 1Pages 5–38https://doi.org/10.1023/A:1007703623144The Persistent Lisp language was defined and an implementation, UCL+P, 1 was designed and constructed. Persistent Lisp is a superset of Common Lisp which fully supports the development of programs manipulating persistent data while maintaining Lisp ...