Error Data Values in the Data-Flow Language VAL

The data-flow architecture is intended to support large scientific computations, and VAL is an algebraic, procedural language for use on a data-flow computer. VAL is apt for numerical computations but requires an error monitoring feature that can be used to diagnose and correct errors arising during program execution. Traditional monitoring methods (software traps and condition codes} are inappropriate for VAL; instead, VAL includes a set of error data values and an algebra for their manipulation. The error data values and their algebra are described and assessed; the conclusion is that error values provide a clean way for a high-level language to handle numeric (and some other) errors.

[1]  A. Robinson.  Non-standard analysis , 1966 .

[2]  James R. McGraw,et al.  The VAL Language: Description and Analysis , 1982, TOPL.

[3]  W. S. Brown.  A Simple but Realistic Model of Floating-Point Computation , 1981, TOMS.

[4]  Jack B. Dennis,et al.  VAL -- A Value-Oriented Algorithmic Language (Preliminary Reference Manual), , 1979 .

[5]  Jerome T. Coonen,et al.  Special Feature an Implementation Guide to a Proposed Standard for Floating-Point Arithmetic , 1980, Computer.

[6]  Christopher Strachey,et al.  A theory of programming language semantics , 1976 .

[7]  D. Stevenson.  A Proposed Standard for Binary Floating-Point Arithmetic , 1981, Computer.

[8]  W. Luxemburg.  Non-Standard Analysis , 1977 .

[9]  Jack B. Dennis,et al.  A preliminary architecture for a basic data-flow processor , 1974, ISCA '75.

[10]  Charles Wetherell.  Design considerations for array processing languages , 1980, Softw. Pract. Exp..

[11]  Jerome T. Coonen,et al.  Ieee standard for binary floating-point arithmetic , 1985 .

[12]  C. S. Wetherell,et al.  Probabilistic Languages: A Review and Some Open Questions , 1980, CSUR.

[13]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[14]  James E. Thornton.  Back-End Network Approaches , 1980, Computer.

[15]  Ambros P. Speiser.  The Relay Calculator Z4 , 1980, Annals of the History of Computing.

[16]  David Stevenson.  A Proposed Standard for Binary Floating-Point Arithmetic , 1981 .

[17]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .