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