Certifying Compilation for a Language with Stack Allocation.

Limin Jia Frances Spalding David Walker Neal Glew

Published in: LICS (2005)

Keyphrases

language learning
programming language
real time
natural language
specification language
dynamic allocation
data sets
databases
data mining
social networks
expert systems
resource allocation
language processing
linguistic knowledge
english language