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