Verified Compilers for a Multi-Language World.

Published in: SNAPL (2015)

Keyphrases

programming language
language learning
software engineering
hardware and software
general purpose
object oriented programming
natural language
object oriented
computer systems
programming environment
specification language
information retrieval
learning algorithm
high level
linguistic knowledge