摘要
1 M.Bruynooghe先生。 逻辑程序抽象解释的实用框架。 逻辑编程杂志，10（2）：91-1241991年2月。 谷歌学者 
数字图书馆 
2 M Bruynooghe和G Janssens。 抽象解释的一个实例：类型和模式推理的结合。 程序中。 第五届逻辑编程国际会议，第669-683页，西雅图，华盛顿州，1988年8月。 麻省理工学院出版社，剑桥。 谷歌学者 3 A.Cortesi、B.Le Charlier和P.Van Hentenryck。 逻辑编程抽象域的组合。 1994年1月，在俄勒冈州波特兰举行的第21届CM SIGPLAN-SIGACT编程语言原理年度研讨会上。 谷歌学者 数字图书馆 4 P Cousot和R.Cousot。 抽象解释：通过构造或逼近不动点对程序进行静态分析的统一格模型。 1977年1月，美国加利福尼亚州洛杉矶市，纽约ACM出版社，编辑，第四届程序设计语言研讨会（POPL’77）Conf.Record of Fourth A CM Symposium on Programming Languages（第238-252页）。 谷歌学者 数字图书馆 5 M.Dincbas、H.Simonis和P.Van Hentenryck。 解决逻辑编程中的大型组合问题。 逻辑程序设计杂志，8（1-2）：75-931990年1月/3月。 谷歌学者 数字图书馆 6 V.Englebert、B.Le Charher、D.Roland和P.Van Hentenryck。 Prolog的通用抽象解释算法：两种优化技术及其实验评估。 软件实践与经验，23（4），1993年4月。 谷歌学者 数字图书馆 7 T.Fruehwirth、E.Shapiro、M.Vardi和E.Yardeni。 逻辑程序作为逻辑程序的类型。 进去！ EEE第六届计算机科学逻辑年度研讨会，第300-309页，1991年。 谷歌学者 8 N.海因策。 基于集合的分析的实际方面。 1992年11月，华盛顿特区，《逻辑编程国际Joznt会议和研讨会论文集》（JJCSLP-92）。 谷歌学者 9 N.Heintze和J.Jaffar。 逼近逻辑程序的有限表示定理。 程序中。 17 A CM糖浆。 《程序设计语言原理》，197-2091990页。 谷歌学者 数字图书馆 10 G.Janssens和M.Bruynooghe。 通过抽象解释推导程序变量可能值的描述。 逻辑编程杂志，13（2-3）：205-2581992。 谷歌学者 数字图书馆 11 T.Kanamori和T.Kawamura。 用抽象混合解释分析逻辑程序的成功模式。 技术报告，ICOT，1987年。 谷歌学者 12 B.Le Charlier和P.Van Hentenryck。 Prolog通用抽象解释算法的实验评估。 编程语言和系统的构型管理汇刊。 出现。 扩展摘要发表在1992年4月于加利福尼亚州旧金山举行的第四届IEEE国际计算机语言会议（ICCL'92）上。 谷歌学者 数字图书馆 13 B.Le Charlier和P.Van Hentenryck。 通用自上而下定点算法。 技术报告CS-92-25，布朗大学CS系，1992年。 谷歌学者 数字图书馆 14 K.Marriott和H.Sondergaard。 逻辑程序抽象解释教程注释。 北美逻辑编程会议，俄亥俄州克利夫兰，1989年10月。 谷歌学者 15 P.米什拉。 走向Prolog中的类型理论。 1984年，逻辑编程国际研讨会，第289-298页。 谷歌学者 16 B.孟苏。 多态类型和加宽算子。 1993年9月在意大利帕多瓦举行的国际静态分析研讨会（WSA-93）上。 谷歌学者 数字图书馆 17 A.Mulkers、W.Winsborough和M.Bruynooghe。 逻辑程序中压缩时间垃圾收集的共享数据结构分析。 1990年6月在以色列耶路撒冷举行的第七届Logzc程序设计国际会议（ICLP-90），第747-764页。 麻省理工学院出版社，剑桥。 谷歌学者 数字图书馆 18 K.Muthukumar和M.Hermenegildo。 使用抽象解释的变量依赖的编译时派生。 逻辑编程杂志，13（2-3）：315-3471992年8月。 谷歌学者 数字图书馆 19 L.Sterling和E.Shapiro。 序言的艺术：高级编程技术。 麻省理工学院出版社，剑桥，女士，1986年。 谷歌学者 数字图书馆 20 P.Van Hentenryck先生。 逻辑编程中的约束Saris/action。 《逻辑编程系列》，麻省理工学院出版社，马萨诸塞州剑桥，1989年。 谷歌学者 数字图书馆 21 P.Van Hentenryck、A.Cortesi和B.Le Charlier。 使用类型图对Prolog进行类型分析。 技术报告CS-93-52，布朗大学计算机科学系，1993年11月。 谷歌学者 数字图书馆 22 K.Verschaetse和D.De Schreye。 使用抽象过程推导逻辑程序的终止证明。 第八届逻辑程序设计国际会议（ICLP-91），巴黎（法国），1991年6月。 谷歌学者 23 W.温斯伯勒。 使用最小函数图语义的多重专业化。 逻辑编程杂志，13（4），1992年7月。 谷歌学者 数字图书馆
建议
使用“图像”类型构造函数将类型运算形式化 本文介绍了一种在类型理论中形式化某些类型操作的新方法。 传统上，类型理论中的许多类型构造函数都是独立公理化的，并且这些公理的正确性是在语义上进行论证的。 在本文中。。。
