A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract).

Vasileios Koutavas Matthew Hennessy

Published in: ESOP (2011)

Keyphrases

extended abstract
higher order
formal theory
programming language
smart card
lambda calculus
theoretical framework
high order
language learning
formal languages
natural language
human problem solving
image segmentation
markov random field
predicate invention