FX-87 Reference Manual. Edition 1.0.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1987
Accession Number
ADA187031

Entities

People

  • David K. Gifford
  • John M. Lucassen
  • Mark A. Sheldon
  • Pierre Jouvelot

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Application Software
  • Artificial Intelligence
  • Classification
  • Computational Science
  • Computations
  • Computer Programming
  • Computer Science
  • Conversion
  • Department Of Defense
  • Grammars
  • Identities
  • Information Processing
  • Iterations
  • Language
  • Military Research
  • Programming Languages
  • Security

Readers

  • Business Analytics
  • Computational Linguistics
  • Linear Algebra