Parameter-Passing and the Lambda Calculus

Parameter-Passing and the Lambda Calculus (1991)

by Erik Crank , Matthias Felleisen

Citations:

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Parameter-Passing and the Lambda Calculus	user correction - Legacy Corrections
AUTHOR NAME	Erik Crank	user correction - Legacy Corrections
AUTHOR NAME	Matthias Felleisen	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computer Science; Rice University	user correction - Legacy Corrections
AUTHOR ADDR	Houston, TX 77251-1892	user correction - Legacy Corrections
ABSTRACT	The choice of a parameter-passing technique is an important decision in the design of a high-level programming language. To clarify some of the semantic aspects of the decision, we develop, analyze, and compare modifications of the -calculus for the most common parameter-passing techniques, i.e., call-by-value and call-by-name combined with pass-by-worth and passby -reference, respectively. More specifically, for each parameter-passing technique we provide 1. a program rewriting semantics for a language with side-effects and first-class procedures based on the respective parameter-passing technique; 2. an equational theory that is derived from the rewriting semantics in a uniform manner; 3. a formal analysis of the correspondence between the calculus and the semantics; and 4. a strong normalization theorem for the imperative fragment of the theory (when applicable). A comparison of the various systems reveals that Algol's call-by-name indeed satisfies the well-known fi rule of the orig...	user correction - Legacy Corrections
YEAR	1991	SVM HeaderParse 0.1
CITATIONS	8 found	ParsCit 1.0