A generalization of jumps and labels

A generalization of jumps and labels (1965)

by Peter J. Landin

Venue:	Report, UNIVAC Systems Programming Research
Citations:	30 - 1 self

Datum	Value	Source
TITLE	A generalization of jumps and labels	INFERENCE
AUTHOR NAME	Peter J. Landin	SVM HeaderParse 0.2
AUTHOR AFFIL	qmw, University of London 1	SVM HeaderParse 0.2
ABSTRACT	Abstract. This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional labels and jumping as a special, but probably not most useful, case. It is independent of assignment, i.e., it can be added to a “purely-functional” (“non-imperative”) system (such as lisp without pseudo-functions or program feature). Experiments in purely functional programming suggest that its main use will be in success/failure situations, and failure actions. This innovation is incorporated in the projected experimental system, iswim. Keywords: “Explaining to programmers the logical structure of programming languages is like a cat explaining to a fish what it feels like to be wet”—Gorn.	SVM HeaderParse 0.2
YEAR	1965	INFERENCE
VENUE	Report, UNIVAC Systems Programming Research	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
VOLUME	11	INFERENCE
CITATIONS	10 found	ParsCit 1.0