Using Datalog and Boolean Equation Systems for Program Analysis.

Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva

Browse the full FMICS paper archive.