Sequence-based abstract interpretation of Prolog

• 期刊名称Theory and Practice of Logic Programming
• 作者LE CHARLIER, BAUDOUIN; ROSSI, SABINA; VAN HENTENRYCK, PASCAL
• 卷第2卷
• 期第1期
• 印刷ISSN1471-0684
• 电子ISSN1475-3081
• 文件大小557.58KB
• 发表时间2002-1
• DOI10.1017/s1471068402001114