![](/img/cover-not-exists.png)
Combinations of abstract domains for logic programming: open product and generic pattern construction
Agostino Cortesi, Baudouin Le Charlier, Pascal Van HentenryckVolume:
38
Year:
2000
Language:
english
Pages:
45
DOI:
10.1016/s0167-6423(99)00045-3
File:
PDF, 357 KB
english, 2000