An approach to compiler correctness.

Laurian M. Chirica David F. Martin

Published in: Reliable Software (1975)

Keyphrases

programming language
general purpose
neural network
social networks
provably correct
real time
data sets
databases
three dimensional
multi agent systems
software engineering
software systems
code generation