Formalizing and Verifying a Modern Build Language.

Maria Christakis K. Rustan M. Leino Wolfram Schulte

Published in: FM (2014)

Keyphrases

programming language
model checking
natural language
language learning
data sets
databases
web services
object oriented
natural language processing
modeling language
object oriented programming
specification language
english language
formal languages
declarative language