确定无限非严格数据结构上集合常数的包含

 访问全文

 完整（PDF）

 访问全文

 完整（PDF）

1. S.Abramsky和C.Hankin，陈述语言的抽象解释。埃利斯·霍伍德（Ellis Horwood），（1987）。 
2. A.Aiken，《设置约束：结果、应用和未来方向》，摘自华盛顿州施普林格-弗拉格市奥卡斯岛约束编程原则与实践第二次研讨会。莱克特。注释计算。科学874（1994）171-179。 
3. A.Aiken、D.Kozen、M.Y.Vardi和E.L.Wimmers，集约束的复杂性，见Proc。CSL 1993，威尔士斯旺西（1993）1-17。 
4. Z.M.Ariola和S.Blom，Cyclic lambda calculi，日本仙台TACS（1997）77–106。 
5. Z.M.Ariola和J.W.Klop，具有显式递归的Lambda微积分。通知。计算139（1997）154-233。 
6. L.Bachmair、H.Ganzinger和U.Waldmann，集约束是一元类，见Proc。第8次会议。《计算机科学中的逻辑》，威尔士斯旺西（1993）75-83。 
7. G.Burn，《惰性函数语言：抽象解释和编译》。皮特曼，伦敦（1991）。 
8. G.L.Burn、C.L.Hankin和S.Abramsky，《高阶函数严格性分析理论》，收录于由H.Ganzinger和N.D.Jones编辑的《作为数据结构的程序》。莱克特。注释计算。科学.217（1985）42–62。 
9. W.Charatonik和A.Podelski，共定义集约束，第九届改写技术和应用国际会议论文集，T.Nipkow编辑，Springer-Verlag。莱克特。注释计算。科学1379（1998）211–225。 
10. D.Clark、C.Hankin和S.Hunt，通过术语图重写进行严格性分析的安全性。在SAS 2000（2000）95–114中。 
11. H.Comon、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison和M.Tommasi。树自动机技术和应用。发布日期：1997年。2002年10月1日发布。 URI（URI）http://www.grappa.univ-lille3.fr/tata网站
12. M.Coppo、F.Damiani和P.Giannini，严格性、总体性和非标准类型推理。理论。计算。科学272（2002）69–112。 
13. P.Cousot和R.Coosot，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，载于《第四届ACM编程语言原理研讨会会议记录》，ACM出版社（1977）252-252。 
14. B.A.Davey和H.A.Priestley，格与秩序导论。剑桥大学出版社，剑桥，（1992年）。 
15. P.Devienne、J.-M.Talbot和S.Tison，《带成员表达式的共定义集约束》，载于《JICSLP’98：1998年逻辑编程联合国际会议和研讨会论文集》，马萨诸塞州剑桥，美国，麻省理工学院出版社（1998）25-39。 
16. T.P.Jensen，多态性和条件严格性属性的推断，《程序设计语言原理研讨会》，圣地亚哥，ACM出版社。(1998) 209–221.  
17. S.P.Jones，Haskell 98语言与图书馆。剑桥大学出版社（2003）。网址：www.haskell.org 
18. 郭宗明，米什拉，《严格性分析：基于类型推理的新视角》，载《函数编程语言与计算机体系结构》，美国计算机学会出版社，（1989）260-272。 
19. K.Lackner Solberg Gasser、H.Riis Nielson和F.Nielson，严格性和总体分析。科学。计算。编程31（1998）113–145。 
20. J.Launchbury和S.Peyton Jones，哈斯克尔州。Lisp符号计算8（1995）293–341。 
21. L.Mauborgne，《改进无限树的表示以处理树集》，载于ESOP’00：第九届欧洲编程语言与系统研讨会论文集。莱克特。注释计算。《科学》1782（2000）275–289。 
22. A.K.D.Moran、D.Sands和M.Carlsson，《不稳定的胡编乱造：嵌入式协调语言的语义理论》。科学。计算。编程46（2003）99–135。 
23. A.Mycroft，应用程序的抽象解释和优化转换。爱丁堡大学博士论文（1981年）。 
24. E.Nöcker，使用抽象归约的严格性分析。《技术报告90-14》，奈梅亨大学计算机科学系（1990年）。 
25. E.Nöcker，正交项重写系统中抽象约简的严格性分析。《技术报告92-31》，奈梅亨大学计算机科学系（1992年）。 
26. E.Nöcker，使用抽象约简的严格性分析。《函数编程语言与计算机体系结构》，ACM出版社，（1993）255-265。 
27. D.Pape，高阶需求传播。《函数语言的实现》（IFL’98），伦敦，由K.Hammond、A.J.T.Davie和C.Clack编辑，Springer-Verlag。莱克特。注释计算。科学.1595（1998）155-170。 
28. D.Pape，Strikthetsanalyssen funktionaler Sprachen。柏林弗雷大学数学与信息学博士论文（2000年）。德语。 
29. R.Paterson，《利用预测汇编懒惰》，静态分析研讨会，德国亚琛。莱克特。注释计算。Sci.1145（1996）255–269。 
30. R.Plasmeijer和M.van Eekelen，并发的清洁语言报告：1.3版和2.0版。技术报告，奈梅亨大学计算机科学系，2003年。 URI（URI）网址：http://www.cs.kun.nl/~干净/
31. P.Rychlikowski和T.Truderung，计算机科学逻辑，第18届国际研讨会，CSL 2004，EACSL第13届年会，波兰卡帕茨，2004年9月20日至24日，《议事录，对常规术语的限制》，J.Marcinkowski和A.Tarlecki，Springer编辑。莱克特。注释计算。科学3210（2004）458–472。 
32. M.Schmidt-Schauß，S.Eric Panitz和M.Schütz，使用表演算通过抽象约简进行严格性分析，见Proc。静态分析研讨会。莱克特。注释计算。科学983（1995）348-365。 
33. M.Schmidt-Schauß、M.Schütz和D.Sabel，《论诺克严格性分析的安全性》。技术报告Frank-19，法国信息研究所。J.W.歌德大学（2004）。 
34. M.Schmidt-Schauß、M.Schütz和D.Sabel，Nöcker严格性分析安全性的完整证明。技术报告Frank-20，法国信息研究所。J.W.Goethe-University（2005年）。 
35. M.Schütz，分析非严格函数编程语言的需求。论文，J.W.Goethe-Universität Frankfurt，2000年。可在URI（URI）http://www.ki.informationk.uni-frankfurt.de/papers/marko
36. H.Seidl，有限树自动机的等价性判定。SIAM J.Compute.19（1990）424-437。 
37. W.Thomas，关于无限对象的自动机。在《理论计算机科学、形式模型和语义手册》（B）中，由J.van Leeuwen，Elsevier（1990）133-192编辑。 
38. P.Wadler，非平面域上的严格性分析（通过有限域上的抽象解释）。在陈述性语言的抽象解释中，第12章。由S.Abramsky和C.Hankin编辑，Ellis Horwood Limited，Chichester（1987）。 
39. P.Wadler和J.Hughes，严格性分析预测。函数编程语言和计算机体系结构。莱克特。注释计算。科学274（1987）385-407。