An expressive language of signatures.

Norman Ramsey Kathleen Fisher Paul Govereau

Published in: ICFP (2005)

Keyphrases

highly expressive
language learning
natural language
programming language
neural network
genetic algorithm
real time
knowledge base
general purpose
specification language
signature verification
english language
xquery full text