@gron

Continuations: A Mathematical Semantics for Handling Full Jumps

, and . Higher-Order and Symbolic Computation, 13 (1): 135--152 (April 2000)

Abstract

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

Description

SpringerLink - Zeitschriftenbeitrag

Links and resources

Tags

community

  • @gron
  • @dblp
  • @gdmcbain
@gron's tags highlighted