Declaring and checking non-null types in an object-oriented language.

Manuel Fähndrich K. Rustan M. Leino

Published in: OOPSLA (2003)

Keyphrases

natural language
object oriented
real time
computational linguistics
language constructs
programming language
information retrieval
real world
neural network
multi agent
user interface
multiscale
natural language processing
language learning
language processing
representation language
linguistic knowledge