Login / Signup

A program analysis framework for tccp based on abstract interpretation.

Marco CominiMaría-del-Mar GallardoLaura TitoloAlicia Villanueva
Published in: Formal Aspects Comput. (2017)
Keyphrases
  • abstract interpretation
  • termination analysis
  • relational databases
  • database
  • data flow