Using Datalog and Boolean Equation Systems for Program Analysis

Alpuente Frasnedo María, Feliú Gabaldón Marco Antonio, Joubert Christophe, Villanueva García Alicia

2009

Lecture Notes in Computer Science