Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.

Javier de Dios Manuel Montenegro Ricardo Peña

Published in: IFM (2010)

Keyphrases

programming language
language learning
information systems
real time
language processing
specification language
decision trees
multiscale
natural language
domain knowledge
language generation
highly expressive
language acquisition
computational linguistics
evolutionary algorithm
website
computer vision