Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

38

LISP
2000

favoriteEmaildiscussreport

96views more LISP 2000»

Continuations: A Mathematical Semantics for Handling Full Jumps

13 years 10 months ago

Continuations: A Mathematical Semantics for Handling Full Jumps

Download www.cs.tufts.edu

This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.

Christopher Strachey, Christopher P. Wadsworth

Real-time Traffic

General Form | LISP 2000 | Mathematical Semantics | Programming Languages |

claim paper

Related Content

» Kleene Monads Handling Iteration in a Framework of Generic Effects

» On Continuous Models of Computation Towards Computing the Distance Between Logic Programs

» Advances in Probabilistic Model Checking

» Proving Reachability Using FShell Competition Contribution

» Certified assembly programming with embedded code pointers

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	LISP
Authors	Christopher Strachey, Christopher P. Wadsworth

Comments (0)