Logical Abstract Domains and Interpretations.

Patrick Cousot Radhia Cousot Laurent Mauborgne

Published in: The Future of Software Engineering (2010)

Keyphrases

real world
application domains
complex domains
high level
low level
higher level
cross domain
blocks world
data sets
artificial intelligence
video sequences
digital libraries