Accession Number : ADA263547


Title :   Full Abstraction for a Shared Variable Parallel Language


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


Personal Author(s) : Brookes, Stephen


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a263547.pdf


Report Date : Apr 1993


Pagination or Media Count : 21


Abstract : We give a new denotational semantics for a shared variable parallel programming language and prove full abstraction: the semantics gives identical meanings to commands if and only if they induce the same partial correctness behavior in all program contexts. The meaning of a command is a set of 'transition traces', which record the ways in which a command may interact with and be affected by its environment. We show how top modify the semantics to incorporate new program constructs, to allow for different levels of granularity or atomicity, and to model fair infinite computation, in each case achieving full abstraction with respect to an appropriate notion of program behavior.


Descriptors :   *PROGRAMMING LANGUAGES , *SEMANTICS , *PARALLEL PROCESSING , COMPUTATIONS , MODELS , VARIABLES , TRANSITIONS , BEHAVIOR , RECORDS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE