Generic abstract interpretation algorithms for Prolog: Two optimization techniques and their experimental evaluation
- 作者Vincent Englebert; Baudouin Le Charlier; Didier Roland; Pascal Van Hentenryck
- 卷第23卷
- 期第4期
- 印刷ISSN0038-0644
- 电子ISSN1097-024X
- 文件大小2446.05KB
- 发表时间1993
- DOI10.1002/spe.4380230406
- 页码419-459