Accession Number : ADA187031

Title :   FX-87 Reference Manual. Edition 1.0.

Descriptive Note : Technical rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s) : Gifford, David K ; Jouvelot, Pierre ; Lucassen, John M ; Sheldon, Mark A

PDF Url : ADA187031

Report Date : Sep 1987

Pagination or Media Count : 165

Abstract : The FX programming language is designed to support the parallel implementation of applications that perform both symbolic and scientific computations. Unlike previous languages, FX uses an effect system is part of a kinded type system with three basic kinds: types, which describe the value of an expression; effects, which describe the side-effects that an expression may have; and regions, which describe the areas of the store in which side-effects may occur. Types, effects, and regions are collectively called descriptions. FX expressions can be abstracted over any kind of description. This permits type, effect, and region polymorphism. Unobservable side-effects are masked by the effect system are a conservative approximation of the actual side-effect masking make the FX effect system substantially more powerful than previous approaches to side-effect analysis. Keywords: Optimization; Parallel programming; Kernels; Semantics.

Descriptors :   *PROGRAMMING MANUALS, COMPUTATIONS, COMPUTER PROGRAMMING, OPTIMIZATION, PARALLEL PROCESSING, POLYMORPHISM, PROGRAMMING LANGUAGES, SEMANTICS, SYMBOLS, SYNTAX

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE