An operational foundation for the tactic language of Coq.

Wojciech Jedynak Malgorzata Biernacka Dariusz Biernacki

Published in: PPDP (2013)

Keyphrases

programming language
natural language
language learning
genetic algorithm
decision making
language processing
formal methods
programming environment
operational semantics
declarative language
neural network
data mining
bayesian networks
multi agent systems
specification language
scripting language