Login / Signup
More Advice on Proving a Compiler Correct: Improve a Correct Compiler.
Erik Meijer
Published in:
Declarative Programming (1991)
Keyphrases
</>
general purpose
digital libraries
neural network
programming language
case study
expert systems
databases