Login / Signup
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