Accession Number : ADA327564

Title :   A Model for a List-Oriented Extension of the Lambda Calculus,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Durfee, Glenn

PDF Url : ADA327564

Report Date : MAY 1997

Pagination or Media Count : 30

Abstract : This work is intended to provide a semantics for a fragment of a programming language described by Gyorgy Revesz, for which no model was known. We begin with a brief presentation of the syntax of the lambda calculus and some relevant extensions. We then describe a class of complete lattices and use them as models for the lambda calculus. We then find specialized sublattices which we use as models for the extensions of the lambda calculus, thus achieving the original goal of finding a semantics for Revesz's language.

Descriptors :   *PROGRAMMING LANGUAGES, *SEMANTICS, COMPUTER LOGIC, COMPUTER PROGRAMMING, SYNTAX.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE