An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic.
Martin BrainCesare TinelliPhilipp RümmerThomas WahlPublished in: ARITH (2015)
Keyphrases
- formal semantics
- floating point arithmetic
- floating point
- instruction set
- logical language
- modelling language
- fixed point
- modeling language
- logical reasoning
- first order logic
- owl dl ontology
- natural language
- machine learning
- data exchange
- database applications
- low cost
- query processing
- interval arithmetic
- xml documents