Verifiable Composition of Language Extensions.

Published in: SLE (Doctoral Symposium) (2012)

Keyphrases

programming language
operational semantics
search engine
language learning
language processing
computational linguistics
artificial intelligence
image sequences
relational databases
efficient implementation
specification language