Combinations of abstract domains for logic programming: Open product and generic pattern construction

From MaRDI portal
(Redirected from Publication:1581061)