Semantics-based programanalysis for logic-based languages using XSB

Michael Codish, Bart Demoen, Konstantinos Sagonas

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

Fingerprint

Dive into the research topics of 'Semantics-based programanalysis for logic-based languages using XSB'. Together they form a unique fingerprint.

Engineering & Materials Science