Compilation by Refinement for a Practical Assembly Language.

Geoffrey Watson

Published in: ICFEM (2003)

Keyphrases

real world
natural language
programming language
language learning
real time
data sets
practical application
neural network
expert systems
information extraction
specification language
english language
scripting language
programs written