Polymorphic type analysis in logic programs by abstract interpretation

• 作者Lunjin Lu
• 卷第36卷
• 期第1期
• 印刷ISSN0743-1066
• 文件大小3907.63KB
• 发表时间1998
• DOI10.1016/s0743-1066(97)10010-3
• 页码1-54