工具书类

[APG06]

E.Albert、G.Puebla和J.Gallagher。
带有不完全谓词的逻辑程序部分求值中的非最左展开。
在第十五届基于逻辑的程序合成与转换国际研讨会（LOPSTR'05），LNCS中的编号3901，第115-132页。Springer-Verlag，2006年4月。

【BCC04】

F.Bueno、D.Cabeza、M.Carro、M.Hermenegildo、P.López-García和G.Puebla-（编辑）。
Ciao系统。参考手册（v1.10）。
技术报告，计算机科学学院（UPM），2004年。
可在网址：http://www.ciaohome.org.

【BCHP96】

F.Bueno、D.Cabeza、M.Hermenegildo和G.Puebla。
标准Prolog程序的全局分析。
在欧洲规划专题讨论会，LNCS第1058号，第108-124页，瑞典，1996年4月。斯普林格·弗拉格。

【BGH94】

F.Bueno、M.García de la Banda和M.Hermenegildo。
PLAI抽象解释系统。
技术报告CLIP2/94.0，马德里技术大学计算机科学系，信息学院，28660 Boadilla del Monte，西班牙马德里，1994年2月。

【BLGH04】

F.Bueno、P.López-García和M.Hermenegildo。
通过标准抽象解释进行多变量非失效分析。
在第七届函数与逻辑编程国际研讨会（FLOPS 2004），LNCS第2998号，第100-116页，德国海德堡，2004年4月。斯普林格·弗拉格。

【BLGPH06】

F.Bueno、P.López-García、G.Puebla和M.Hermenegildo。
关于使用Ciao预处理器进行程序开发和优化的教程。
技术报告CLIP2/06，马德里技术大学，信息学院，28660 Boadilla del Monte，西班牙马德里，2006年1月。

【CH94】

D.Cabeza和M.Hermenegildo。
利用共享和自由信息提取非标准独立和平行性。
在1994年国际静态分析研讨会，LNCS第864号，第297--313页，比利时纳穆尔，1994年9月。斯普林格·弗拉格。

【招商银行93】

M.Codish、A.Mulkers、M.Bruynooghe、M.GarcíA de la Banda和M.Hermenegildo。
通过合并域改进抽象解释。
在程序。ACM SIGPLAN部分评估和基于语义的程序操作研讨会，第194-206页。ACM，1993年6月。

【COS96】

COSYTEC团队。
CHIP系统文档1996年4月。

[DEDC96]

P.Deransart、A.Ed-Dbali和L.Cervoni。
序言：标准.
Springer-Verlag，1996年。

[DL93]

S.K.Debray和N.W.Lin。
逻辑程序的成本分析。
程序设计语言与系统学报，15（5）：826--8751993年11月。

[DLGH97]

S.K.Debray、P.López-García和M.Hermenegildo。
逻辑程序的非故障分析。
在1997年逻辑程序设计国际会议，第48-62页，马萨诸塞州剑桥，1997年6月。麻省理工学院出版社，马萨诸塞州剑桥。

[DLGHL97]

S.K.Debray、P.López García、M.Hermenegildo和N.-W Lin。
逻辑程序的下限成本估算。
在1997年国际逻辑程序设计研讨会，第291-305页。麻省理工学院出版社，马萨诸塞州剑桥，1997年10月。

【Dum94】

Veroniek Dumortier。
基于抽象解释的约束逻辑程序的自由性及相关分析.
1994年10月，计算机科学系K.U.Leuven博士论文。

[GdW94]

J.P.Gallagher和D.A.de Waal。
逻辑程序的快速而精确的规则近似。
在编辑Pascal Van Hentenryck的文章中，程序。第十一届逻辑程序设计国际会议，第599-613页。麻省理工学院出版社，1994年。

【GHM00】

M.García de la Banda、M.Hermenegildo和K.Marriott。
CLP语言的独立性。
程序设计语言与系统学报，22（2）：269--3392000年3月。

[Her99]

M.赫尔梅内吉尔多。
逻辑编程系统的文档生成器。
技术报告CLIP10/99.0，Facultad de Informática，芬欧汇川大学，1999年9月。

[HPMS00]

M.Hermenegildo、G.Puebla、K.Marriott和P.Stuckey。
约束逻辑程序的增量分析。
程序设计语言与系统学报，22（2）：187--2232000年3月。

【HR95】

M.Hermenegildo和F.Rossi。
逻辑程序中的严格和非严格独立与并行性：正确性、效率和编译时条件。
逻辑程序设计杂志, 22(1):1--45, 1995.

【JB92】

G.Janssens和M.Bruynooghe。
通过抽象解释推导程序变量可能值的描述。
逻辑程序设计杂志，13（2和3）：205--2581992年7月。

[JL88]

D.Jacobs和A.Langen。
受限并行逻辑程序的编译。
在欧洲规划专题讨论会，第284--297页，1988年。

【Knu84】

D.Knuth。
识字编程。
计算机杂志, 27:97--111, 1984.

[鲁98]

M.Leuschel。
同胚嵌入对在线终止的影响。
编辑乔治·列维，SAS’98会议记录，第1503卷，共页LNCS公司，第230-245页，意大利比萨，1998年9月。斯普林格·弗拉格。

[LGHD96a]

P.López-García、M.Hermenegildo和S.K.Debray。
逻辑程序中基于粒度的并行控制方法。
符号计算杂志，并行符号计算专刊, 21:715--734, 1996.

[LGHD96b]

P.López-García、M.Hermenegildo和S.K.Debray。
逻辑程序中基于粒度的并行控制方法。
符号计算杂志，并行符号计算专刊, 21(4--6):715--734, 1996.

【MBdlBH99】

K.Muthukumar、F.Bueno、M.García de la Banda和M.Hermenegildo。
受限、目标级、独立和并行逻辑程序的自动编译时并行化。
逻辑程序设计杂志，38（2）:165-2181999年2月。

[MH89a]

K.Muthukumar和M.Hermenegildo。
通过抽象解释确定编译时的变量依赖信息。
技术报告ACA-ST-232-89，微电子和计算机技术公司（MCC），德克萨斯州奥斯汀，787591989年3月。

[MH89b]

K.Muthukumar和M.Hermenegildo。
通过抽象解释确定编译时的变量依赖信息。
在1989年北美逻辑编程会议，第166-189页。麻省理工学院出版社，1989年10月。

【MH91】

K.Muthukumar和M.Hermenegildo。
通过抽象解释联合确定程序变量的共享性和自由性。
在国际逻辑程序设计会议（ICLP 1991），第49-63页。麻省理工学院出版社，1991年6月。

[MH92]

K.Muthukumar和M.Hermenegildo。
使用抽象解释的变量依赖的编译时派生。
逻辑程序设计杂志，13（2/3）：315--3471992年7月。

【MS94】

K.Marriott和P.Stuckey。
线性算术约束之间的近似交互。
在1994年逻辑程序设计国际研讨会，第571-585页。麻省理工学院出版社，1994年。

【PAH04】

G.Puebla、E.Albert和M.Hermenegildo。
用专门定义进行抽象解释。
技术报告CLIP12/2004.0，马德里技术大学计算机科学学院，芬欧汇川大学，2004年9月。

【PBH00】

G.Puebla、F.Bueno和M.Hermenegildo。
约束逻辑程序的断言语言。
编辑P.Deransart、M.Hermenegildo和J.Maluszynski，约束编程的分析和可视化工具，LNCS中编号1870，第23-61页。Springer-Verlag，2000年9月。

[专业]

PROLOG IV团队。
PROLOG IV手册.

【SG94】

H.Saglam和J.Gallagher。
使用类型和正则描述近似逻辑程序。
技术报告CSTR-94-19，布里斯托尔大学计算机科学系，布里斯托BS8 1TR，1994年。

[宋体86]

H·Söndergaard。
逻辑程序抽象解释的一种应用：发生检查减少。
在欧洲编程研讨会，LNCS 123，第327--338页。施普林格·弗拉格，1986年。

[VB02]

C.Vaucheret和F.Bueno。
逻辑程序更精确、更有效的类型推断。
在国际静态分析研讨会，第2477卷，共页计算机科学课堂讲稿，第102-116页。施普林格出版社，2002年9月。

[VHCL95]

P.Van Hentenryck、A.Cortesi和B.Le Charlier。
使用类型图对序言进行类型分析。
逻辑程序设计杂志, 22(3):179--209, 1995.