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

• 作者Agostino Cortesi; Baudouin Le Charlier; Pascal Van Hentenryck
• 卷第38卷
• 印刷ISSN0167-6423
• 文件大小356.54KB
• 发表时间2000
• DOI10.1016/s0167-6423(99)00045-3
• 页码27-71