A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras.

Published in: Fundam. Informaticae (1997)

Keyphrases

general purpose
provably correct
real time
real world
learning algorithm
knowledge base
multi agent systems
programming language
theorem proving
complete axiomatization