DaftarIsitemplate |
Call Number |
SEM-198 |
Title |
Combinations of abstract domains for logic programming,Hal 227-239 |
Author |
Agostino Cortesi; Baudouin Le Charlier; Pascal Van Hentenryck; |
Publisher |
Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
Subject |
Location |