Generalized semantics and abstract interpretation for constraint logic programs

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi

Research output: Contribution to journalArticlepeer-review

37 Scopus citations

Fingerprint

Dive into the research topics of 'Generalized semantics and abstract interpretation for constraint logic programs'. Together they form a unique fingerprint.

Mathematics