134
click to vote
LISP
2000
15 years 2 months ago
2000
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.