Sign in

Logical Abstract Domains and Interpretations.

Patrick CousotRadhia CousotLaurent 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