LISP 2007 | Sciweavers

27

LISP
2007

78views more LISP 2007»

Implementation and use of the PLT scheme Web server

13 years 11 months ago

The PLT Scheme Web Server uses continuations to enable a natural, console-like program development style. We describe the implementation of the server and its use in the developmen...

Shriram Krishnamurthi, Peter Walton Hopkins, Jay A...

claim paper

Read More »

30

click to vote

LISP
2007

54views more LISP 2007»

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

13 years 11 months ago

Download osl.cs.uiuc.edu

José Meseguer, Prasanna Thati

claim paper

Read More »

24

click to vote

LISP
2007

52views more LISP 2007»

Semantics and pragmatics of Real-Time Maude

13 years 11 months ago

Download www.ifi.uio.no

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

28

click to vote

LISP
2007

98views more LISP 2007»

A static simulation of dynamic delimited control

13 years 11 months ago

Download www.cs.rutgers.edu

We present a continuation-passing-style (CPS) transformation for some dynamic delimited-control operators, including Felleisen’s control and prompt, that extends a standard call-...

Chung-chieh Shan

claim paper

Read More »

34

click to vote

LISP
2007

112views more LISP 2007»

Axioms for control operators in the CPS hierarchy

13 years 11 months ago

Download logic.cs.tsukuba.ac.jp

A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard callby-value CPS translation, Danvy a...

Yukiyoshi Kameyama

claim paper

Read More »

28

click to vote

LISP
2007

112views more LISP 2007»

The next 700 Krivine machines

13 years 11 months ago

Download hal.inria.fr

: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...

Rémi Douence, Pascal Fradet

claim paper

Read More »

34

click to vote

LISP
2007

73views more LISP 2007»

A call-by-name lambda-calculus machine

13 years 11 months ago

Download www.pps.jussieu.fr

Jean-Louis Krivine

claim paper

Read More »

37

click to vote

LISP
2007

74views more LISP 2007»

Improving the lazy Krivine machine

13 years 11 months ago

Download www.cs.colorado.edu

Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...

Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. S...

claim paper

Read More »

33

click to vote

LISP
2007

59views more LISP 2007»

A proof-theoretic foundation of abortive continuations

13 years 11 months ago

Download www.cs.indiana.edu

Zena M. Ariola, Hugo Herbelin, Amr Sabry

claim paper