Incrementalizing Lattice-Based Program Analyses in Datalog

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

Research output: Contribution to journalArticleScientificpeer-review

10 Citations (Scopus)
30 Downloads (Pure)

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

Engineering & Materials Science