JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics.

Published in: J. Object Technol. (2004)

Keyphrases

definition language
multiple inheritance
high level
model theoretic
operational semantics
end users
knowledge management
formal semantics
belief revision
data exchange
high precision
database
data model
multi agent systems
decision trees
databases
real time