A portable compiler-integrated approach to permanent checking.

Eugen-Nicolae Volanschi

Published in: Autom. Softw. Eng. (2008)

Keyphrases

general purpose
information systems
programming language
lightweight
databases
bayesian networks
evolutionary algorithm
highly optimized