A Verified Prolog Compiler for the Warren Abstract Machine.

David M. Russinoff

Published in: J. Log. Program. (1992)

Keyphrases

abstract machine
data model
programming language
general purpose
distributed memory machines
real time
neural network
genetic algorithm
code generation
data sets
machine learning
decision trees
case study
software systems