Incrementalizing Lattice-Based Program Analyses in Datalog

Tamas Szabo, Gábor Bergmann, Sebastian Erdweg, Markus Voelter

Research output: Contribution to journalArticleScientificpeer-review

23 Citations (Scopus)
123 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Incrementalizing Lattice-Based Program Analyses in Datalog'. Together they form a unique fingerprint.

INIS

Engineering

Computer Science

Medicine and Dentistry