The Guardol Language and Verification System.

David S. Hardin Konrad Slind Michael W. Whalen Tuan-Hung Pham

Published in: TACAS (2012)

Keyphrases

programming language
model checking
language learning
neural network
natural language
language processing
english language
modeling language
representation language
machine learning
xml documents
target language
specification language