A Mechanically Verified Language Implementation.

J. Strother Moore

Published in: J. Autom. Reason. (1989)

Keyphrases

specification language
language learning
natural language
layered architecture
machine learning
case study
data model
programming language
theorem prover
parallel implementation
implementation issues