On the Need for Predictable Floating-Point Arithmetic in the Programming Languages Fortran 90 and C/C++.
Dennis VerschaerenAnnie A. M. CuytBrigitte VerdonkPublished in: ACM SIGPLAN Notices (1997)
Keyphrases
- programming language
- floating point arithmetic
- floating point
- object oriented
- general purpose
- programming environment
- high level
- software engineering
- lambda calculus
- database languages
- strongly typed
- instruction set
- fixed point
- specification language
- databases
- parallel computation
- denotational semantics
- high level programming language
- query language
- database systems
- first order logic
- parallel processing
- program code