Systematic design of program transformation frameworks by abstract interpretation

• 期刊名称ACM SIGPLAN Notices
• 作者Cousot, Patrick; Cousot, Radhia
• 卷第37卷
• 期第1期
• 印刷ISSN0362-1340
• 文件大小462.67KB
• 发表时间2002-01-01
• DOI10.1145/565816.503290
• 页码178-190