Accession Number : ADA267838

Title :   Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF,

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

Personal Author(s) : Brookes, Stephen ; Geva, Shai

Report Date : APR 1993

Pagination or Media Count : 16

Abstract : We present a general semantic framework of sequential functions on domains equipped with a parameterized notion of incremental sequential computation. Under the simplifying assumption that computation other function spaces proceeds by successive application to constants, we construct a sequential semantic model for a non-trivial sub-language of PCF with a corresponding syntactic restriction - that variables of function type may only be applied to closed terms. We show that the model is fully abstract for the sub-language, with respect to the usual notion of program behavior.

Descriptors :   *PROGRAMMING LANGUAGES, *ALGORITHMS, ABSTRACTS, BEHAVIOR, COMPUTATIONS, CONSTANTS, FUNCTIONS, MODELS, SEMANTICS, VARIABLES, COMPUTER PROGRAMMING, SOFTWARE ENGINEERING, DATA PROCESSING.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE