![](/img/cover-not-exists.png)
[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Combinations of abstract domains for logic programming
Cortesi, Agostino, Le Charlier, Baudouin, Van Hentenryck, PascalYear:
1994
Language:
english
DOI:
10.1145/174675.177880
File:
PDF, 1.36 MB
english, 1994