Program correctness and machine arithmetic.

Published in: Problems and Methodologies in Mathematical Software Production (1980)

Keyphrases

neural network
information retrieval
databases
computer programs
data sets
web pages
machine learning
learning algorithm
multi agent
special case
flowshop
static analysis
program execution
provably correct