The constructive reals as a Java library.

Hans-Juergen Boehm

Published in: J. Log. Algebraic Methods Program. (2005)

Keyphrases

cross platform
open source
java code
object oriented
programming language
java programs
constraint databases
database applications
lightweight
web applications
development environment
source code
learning algorithm
object oriented programming
database programming
database systems
high level
case study
metadata