A Decimal Floating-Point Specification.

Michael F. Cowlishaw Eric M. Schwarz Ronald M. Smith Charles F. Webb

Published in: IEEE Symposium on Computer Arithmetic (2001)

Keyphrases

formal specification
high level
database
specification language
formal verification
real time
data sets
genetic algorithm
social networks
information systems
e learning
provably correct