1 A AHO、R SETHI和I ULMAN，Co~np~ Iers：原理、技术和工具，Addlson-Wesley，1986年。 谷歌学者 
数字图书馆 
2 H BAKI~R，函数语言中的统一与征服（垃圾、更新、别名~ng…），1990年ACM Lisp与函数编程会议，尼斯，1990年6月，第218-226页。 谷歌学者 数字图书馆 三。 A BEN-AMRAM和Z GALIL）关于指针与地址，J.Assoc.Compute。 机器。， 39（1992），第617-648页。 谷歌学者 数字图书馆 4 F.BODIN，C程序中的数据结构分析，《并行计算机编译器国际研讨会》，巴黎，1990年12月，巴黎矿业大学，第11-24页。 谷歌学者 5 H.-J BOt~HM）副作用和斜视可以有简单的公理描述，ACM Trans。 掠夺。 语言系统。， 7’（1985），第637-655页。 谷歌学者 数字图书馆 6 M CAHEN，Sur Ies substitutions fodamentalies du groupe moduIaire，《法国数学社会公报》，43（191~），第2页。 谷歌学者 7 R大约。 TWRiGHT和D OPP~N，《爱的逻辑》，《信息法案》，第15卷（1981年），第365-384页。 谷歌学者 8 D CHASE，M WI~GMAN，AND F.ZADt~CK，《poznters AND structures分析》，摘自《编程语言设计与实现会议》，SIGPLAN通知第25（6）卷，怀特普莱恩斯，纽约，1990年6月，第296--310页。 谷歌学者 数字图书馆 9 I CHOI、M BURKe和P CAI~INI、Ej~cient}~第二十届美国医学会年会上对指针引起的别名和副作用的低敏感过程间计算。 《程序设计语言原理》，ACM出版社，1993年1月，第232-245页。 谷歌学者 数字图书馆 10 J CHOW和W·哈里森，《共享备忘录的并行程序的编译时分析》，载于《第十九届年度ACM总结》。 《编程语言原理》，新墨西哥州阿尔伯克基.} 1992年，ACM出版社，第130-141页。 谷歌学者 11 B COURC}~LLS，无限树的基本性质，理论计算机科学，25（1983），第95-169页。 谷歌学者 交叉引用 
12 P.COUSOT和R.COUSET，递归过程动态特性的静态确定，《编程概念形式化描述工作会议》，加拿大圣安德鲁斯，1977年8月，IFIP WG 2.2，北荷兰。 谷歌学者 13 第六届ACM糖浆项目分析框架的系统设计。 《程序设计语言原理》，197'9年，第269-282页。 谷歌学者 14 ~，《通过抽象解释进行形式语言、语法和基于集约束的程序分析》，摘自《函数式编程语言和计算机体系结构会议》，加利福尼亚州拉福尔斯，1995年6月，ACM出版社。 谷歌学者 数字图书馆 15 P.COUSOT和N.HALBWACHS）在第五届ACM年会上自动发现程序变量之间的线性约束。 《编程语言原理》，亚利桑那州图森。， 1978年1月，第84-97页。 谷歌学者 数字图书馆 16 A.D~UTSCH，《关于在第十七届年度ACM糖浆中测定ti.fet~me并分析h~顺序功能规范中动态分配的数据》。 《编程语言原理》，旧金山，1990年1月，美国计算机学会出版社，第157-168页。 谷歌学者 17 ~，严格性属性及其抽象的操作模型，在Proc。 1991年格拉斯哥函数编程研讨会，1%。 赫尔达尔（Heldal）C.Holst和P.Wadler编辑）《计算系列研讨会》（Workshops in Computing Series），波特雷，天空岛，苏格兰，1991年8月，施普林格-弗拉格出版社，第82-99页。 谷歌学者 数字图书馆 18 ~., 《程序设计语言的操作模型和正则语言上的关系表示及其在静态确定数据的动态AIzasing属性中的应用》，博士论文，LIX，Ecole Polytechnique，F-91128，Palaiseau，France，1992年。 谷歌学者 19 ~，使用右正则等价关系的有限表示的抽象和~ts抽象的无层模型，见Proc。 IEEE 1992计算机语言国际会议，旧金山，1992年4月，IEEE出版社，第2-13页。 谷歌学者 20 ~，InterTroceduraI may-alias analysis。for pointers:Beyond k-limzt~ng，in SIGPLAN）94 Conf.on Programming Language Design and Implementation，SIGPLAN Notices，Orlando，1994年6月，ACM Press，pp.230-241。 谷歌学者 数字图书馆 21 S EILENBI~RG，《自动化》，《语言与机器》，A卷，学术出版社，1974年。 谷歌学者 数字图书馆 22 M.F}~I，I，~ISEN）X-v-CS：Scheme的一个e~趋向的A-演算，在Proc。 1988年ACM交响乐团。 关于Lisp和函数编程，1988年，第72-85页。 谷歌学者 数字图书馆 23 R GHIYA，《过程间堆分析的实用技术》，硕士论文，麦吉尔大学，蒙特利尔，1995年3月。 谷歌学者 24 P GRANGER，程序变量之间线性同余等式的静态分析，载于TAPSOFT’91，计算机科学讲义第493卷，Springer Verlag，1991年，第169-192页。 谷歌学者 交叉引用 25 R.HARPI~R）R MILNER和M.TOFTE，《标准ML的定义》，LFCS报告系列ECS-LFCS-89-81，计算机科学基础实验室，爱丁堡大学计算机科学系，1989年5月。 谷歌学者 26 W HARRISO，《程序间分析和自动并行化o/Scheme程序》，Lisp和符号计算，2（1989），第176-396页。 谷歌学者 27 L.H~DI~RMAN，编译时间垃圾收集，硕士论文，莱斯大学，1988年8月。 压缩机TR88-75。 谷歌学者 28 N HEINTZE和J.JAFFAR，有限表示定理/或近似逻辑程序，第十七届ACM年会。 《编程语言原理》，旧金山，1990年1月，美国计算机学会出版社，197-209页。 谷歌学者 数字图书馆 29 L HI~NDRI~N AND A NICOLAU，具有递归数据结构的ParaIlelizing程序，IEEE Trans。 《并行和分布式处理》，第1期（1990年），第35-47页。 谷歌学者 数字图书馆 30 S.HORWITZ，P.P~mFF~R，AND T.R~PS，依赖性分析/或指针变量，收录于《编程语言设计与实现》，SIGPLAN通知第24（7）卷，1989年6月~第28-40页。 谷歌学者 数字图书馆 31 P HUDAK，参考计数和~ts抽象的语义模型，收录于1986年ACM交响乐团的Conf.Record。 关于LISP和函数编程，1986年8月，第351-363页。 谷歌学者 数字图书馆 32 R HUGHES，功能程序的向后分析。 《部分评估和混合计算研讨会》，D.Bjorner、A.Ershov和N.Jones主编，North-Holland，1987年10月，第155-169页。 谷歌学者 33 J HUMEL、L HENDREN和A.NICOLAU，《通用数据依赖性测试}或基于指针的动态数据结构》，载于SIG-PLAN'94编程语言设计与实现大会，SIGPLAN通告，奥兰多，1994年6月，ACM出版社，第218-229页。 谷歌学者 数字图书馆 34 G.JANSSI~NS和M BRUYNOOGHI~，通过抽象解释推导程序变量可能值的描述，《逻辑程序设计杂志》，13（1992），第205-258页。 谷歌学者 数字图书馆 35 T.Ji~NSI~N，代数数据类型的抽象解释，1994年国际计算机语言会议，法国图卢兹，1994年5月16日至19日，IEEE计算机社会出版社，第265-276页。 谷歌学者 36 N JONES，《Iambda ezpressions的流量分析》，摘自Symp。 功能语言和计算机体系结构，瑞典GLteborg，1981年6月，查尔默斯科技大学，第376-401页。 谷歌学者 37 N JONSS AND S MUCHNICK，类Lisp结构的流分析和优化，收录于《程序流分析：理论和应用》，S.MUCHNICK和N.Jones编辑，新泽西州，1981年，普伦蒂斯·霍尔出版社，第102-131页。 谷歌学者 38 ~，第九届ACM年会上的一种灵活的方法，用于过程间数据流分析和具有递归数据结构的程序。 《程序设计语言原理》，ACM出版社，1982年，第66-74页。 谷歌学者 数字图书馆 39 高度} ONK~RS，抽象存储结构，《算法语言》，d~Bakker和van Vlict主编，IFIP，北荷兰，1981年，第321-343页。 谷歌学者 40 J KAM和J ULLMANN，全球数据流分析和迭代算法，助理计算J。 机器。， 23（1976年），第158-171页。 谷歌学者 数字图书馆 41 G.KILDALL，全球程序优化的未经证实的方法，载于ACM Symp。 《程序设计语言原理》，1973年，第194-206页。 谷歌学者 数字图书馆 42 N.KLARI、UND和M.SCHWARTZBACH，《图表类型》，第二十届ACM年会综述。 《程序设计语言原理》，查尔斯顿，南卡罗来纳州，1993年，第196-205页。 谷歌学者 43 L LAMPORT和F.SCItN~ID~R，《约束：统一的编程和打字方法》，载于《ACM年度交响乐》。 《程序设计语言原理》，ACM出版社，1984年，第205-216页。 谷歌学者 数字图书馆 44 B LAMPSON，.}。 伦敦R区I-IORNING，.}。 MITCHELL和G.POPEK，关于编程语言欧几里得的报告，SIGPLAN通告，12（1977）。 谷歌学者 数字图书馆 45 W LANDI，《指针存在下的跨过程AIiasing》，罗杰拉大学博士论文，1992年1月。 谷歌学者 数字图书馆 46 W LANDL Undecidability o}静态分析，ACM Letters on Programming Languages and Systems，1（1992），第323-337页。 谷歌学者 数字图书馆 47 W LANDI和B RyDI~R，Pointer-zn在第十八届ACM年度交响曲中引入了艾丽辛。 《编程语言原理》，佛罗里达州奥兰多，1991年1月，ACM出版社，第93-103页。 谷歌学者 数字图书馆 48 《SIGPLAN’92编程语言设计与实现会议》，SIGPLAN通知第27卷（7），旧金山，1992年6月，ACM出版社，第235-248页。 谷歌学者 数字图书馆 49 J LARUS和P.I-IILFINGER，《检测结构访问之间的冲突》，载于《ACM SIGPLAN’88编程语言设计与实现大会》，1988年6月，第21-34页。 谷歌学者 数字图书馆 50 J LAUNCHBURY，部分评估中的投影因子，格拉斯哥大学博士论文，1989年。 谷歌学者 51 J.LUCASS~N和D.GI~福特，波伊莫？ h~c效应系统，第十五届ACM年度交响曲。 《编程语言原理》，圣地亚哥，1988年1月，美国计算机学会出版社，第47-57页。 谷歌学者 数字图书馆 52 F MASDUPUY，在Proc。 国际交响乐团。 《超级计算》，福冈，1991年11月，九州大学出版社，第19-27页。 国际标准图书编号：4-87378-284-8。 谷歌学者 53 I.MASON和C TALCOTT，参考，局部变量和操作推理，程序。 IEEE第七届年度糖浆奖。 《计算机科学中的逻辑》，1992年6月，第186-197页。 谷歌学者 54 N.M~RCOUROFF，《通信过程分析》，载于第七届国际编程语义学数学基础会议，计算机科学讲稿，宾夕法尼亚州匹兹堡，1991年3月，斯普林格出版社，第312-325页。 谷歌学者 55 T MOG~NSI~N，《部分静态结构自用部分求值器》，摘自《部分求值和混合计算研讨会》，D.Bj0rner、a.Ershov和N.Jones主编，北荷兰，1987年10月，第325-347页。 谷歌学者 56 多态型高阶语言的结合时间分析，Proc。 TAPSOFT，计算机科学讲义第352卷，Springer Verlag，1989年，第298-312页。 谷歌学者 数字图书馆 57 G MORRISI~TT，M.FELLI~ISI~N，AND H R，《内存管理的抽象模型》，摘自《函数式编程语言与计算机体系结构会议》，加州拉荷拉，1995年6月，美国计算机学会出版社。 谷歌学者 数字图书馆 58 A MULKI~RS、W、WINSBOROUGH和M BRUYNOOGHI~，编译垃圾收集逻辑p~图的数据结构分析。 第七届国际逻辑编程会议，麻省理工学院出版社，1990年，第747-762页。 谷歌学者 数字图书馆 59 ~、实时结构数据流分析}或Prolog、ACM Trans。 专业（&；P）； 语言系统。， 16（1994年），第205-258页。 谷歌学者 数字图书馆 60 F NII~LSON，两级语义和抽象解释，理论计算机科学，69（1989），第117-242页。 谷歌学者 数字图书馆 61 R PARma，《论上下文语言》，J.Assoc.Compute。 机器。， 13（1966年），第570-581页。 谷歌学者 数字图书馆 62 P Pt~n*t~l~R，基于依赖的表示}或带有参考变量的程序，威斯康星大学麦迪逊分校博士论文，1991年8月。 谷歌学者 数字图书馆 63 G.RI~NARDEL DE LAVALETT}~，通过抽象交互进行严格性分析。递归定义类型，信息与计算，99（1992），第154-177页。 谷歌学者 数字图书馆 64 J R~YNOLDS，《数据集定义的自动计算》。 1968年8月IFIP大会第68号决议，第B69-B73页。 谷歌学者 65 C RUGGII~B.I和T.MURTAGH，动态分配对象的生命周期分析，第十五届ACM年会。 《编程语言原理》，圣地亚哥，1988年1月，ACM出版社，第285-293页。 谷歌学者 数字图书馆 66 S~SAGIV，N FRANCEZ，M.RODt~H，AND R.WILHI~M，《基于逻辑的数据流分析方法》，收录于《编程语言实现与逻辑编程》，《计算机科学讲义》第456卷，斯普林格出版社，1990年8月，第277-292页。 谷歌学者 交叉引用 67 A SCHLNHAG~，存储修改机器，SIAM J.Cornput。， 9（1980年），第490-508页。 谷歌学者 交叉引用 68 P S}~STOI~T，用全局变量替换/函数参数，《函数编程语言与计算机体系结构会议》，伦敦，1989年9月，ACM出版社，第39-53页。 谷歌学者 数字图书馆 69 M SHARIR和A.PNUSLI，《程序流分析的两种方法：理论和应用》，S.Muchnick和N.Jones编辑，Prentice-Hall，1981年，第189-234页。 谷歌学者 70 O.SHIVI~RS，《控制流分析~s~n方案》，收录于《编程语言设计与实现会议》，1988年6月，第164-174页。 谷歌学者 数字图书馆 71 ~，《高阶语言的控制流分析》，博士论文，卡内基梅隆大学，匹兹堡，1991年5月。 CMU-CS-91-145。 谷歌学者 72 J.STRANSKY，《动态（类Lisp）结构的格或抽象解释》，《信息与计算》，101（1992），第70-102页。 谷歌学者 数字图书馆 73 J.TALPm和P.JOUV~LOT，《d~sc~pline的类型和影响》，第七届IEEE年会。 《计算机科学中的逻辑》，1992年。 谷歌学者 74 R.TENNI~NT，参考控制的语义学，理论计算机科学，27（1983），第297-310页。 谷歌学者 交叉引用 75 B.TRAKHTENBROT，J I-IALPERN，AND A.MEYER，从名词到运算和叠元语义}或Algol-lille语言，《程序逻辑》，计算机科学讲义第164卷，1983年，第474-500页。 谷歌学者 76 W WEIHL，指针、程序变量和标签变量存在时的跨过程数据流分析，第七届美国医学会年会论文集。 《程序设计语言原理》，1980年，第83-94页。 谷歌学者 数字图书馆
建议
基于实体的语义词典获取的归纳逻辑程序设计 ConLL’00：逻辑语言学习第二次研讨会和计算自然语言学习第四次会议记录-第7卷 本文提出了一种归纳逻辑程序设计学习方法，旨在从语料库中自动提取特殊的名词-动词（N-V）对，以建立基于Pustejovsky生成词典（GL）原理的语义词典。。。 在存在指针的情况下进行有效的流敏感过程间数据流分析 CC’06：第15届编译器构造国际会议记录 本文提出了一种新的工作列表算法，该算法显著加快了一大类流敏感数据流分析，包括类型状态错误检查和指针分析。 我们的算法特别适用于过程间分析。 签署人。。。
