Using Domain Algebras to Prove the Correctness of a Compiler.

Published in: STACS (1985)

Keyphrases

domain specific
domain independent
general purpose
neural network
machine learning
learning algorithm
artificial intelligence
data structure
boolean algebra