Abstract interpretation of logic programs using magic transformations

Saumya Debray, Raghu Ramakrishnan

Research output: Contribution to journalArticlepeer-review

17 Scopus citations

Fingerprint

Dive into the research topics of 'Abstract interpretation of logic programs using magic transformations'. Together they form a unique fingerprint.

Mathematics