×
格雷戈·斯内尔廷

上下文关系的演算。 （英语） Zbl 0706.68073号

学报信息。 28，第5期，411-445（1991）.
我们提出了语境关系理论。上下文关系是特定语言编辑器中增量语义分析的一种方法，它能够处理不完整的程序片段。该算法是根据语言的静态语义定义生成的，基于推理规则和有序统一。本文介绍了底层数学理论、最优增量分析算法、用户定义多态性和重载的处理以及实现问题。它旨在作为一个现已成熟的概念的总结报告，该概念已成功用于生成高效的增量类型推理器或ADA和Fortran 8x等语言。
审核人：G.施奈尔廷

理学硕士：

68问题55 计算理论中的语义学
68N20型 编译与解释理论
2012年第68季度 语法和重写系统
68甲15 编程语言理论

关键词：

上下文关系演算;语义分析;语义学;推理;有序统一;增量类型推断器

软件：

毫升;迷你-ML;阿达95;半人马座
PDF格式BibTeX公司 XML格式引用
\textit{G.Snelting}，《学报》第28期，第5期，第411--445页（1991年；Zbl 0706.68073）
全文： 内政部

参考文献：

[1] ADA编程语言参考手册。国防部，ANSI-MIL-STD 1815A，1983年
[2] Aho，A.V.、Sethi，R.、Ullman，J.D.：编译器：原理、技术和工具。马萨诸塞州雷丁：Addison-Wesley 1986·Zbl 1155.68020号
[3] Ait-Kaci，H.，Nasr，R.：集成逻辑和函数编程。Lisp系统。计算2（1），51-90（1989）·doi:10.1007/BF01806313
[4] Bahlke，R.，Snelting，G.：PSG系统：从形式语言定义到交互式编程环境。ACM事务处理。程序。语言系统8（4），547-576（1986）·数字对象标识代码：10.1145/6465.20890
[5] Borras，P.，Clément，D.，Despeyroux，Th.，Incerpi，J.，Kahn，G.，Lang，B.，Pascual，V.：CENTAUR：系统。摘自：ACM SIGSOFT/SIGPLAN软件工程研讨会关于实用软件开发环境的会议记录，SIGSOFT软件工程注释第13（5）卷，第14-24页，波士顿，1988年11月。
[6] Boyer，R.S.，Moore，J.S.：理论证明程序中结构的共享。数学。Intell.7101-116（1972）·Zbl 0249.68032号
[7] Clément，D.，Despeyroux，J.，Despeyoux，T.，Kahn，G.：一种简单的应用语言：Mini-ML.In:1986年美国计算机学会LISP和函数编程会议论文集，第13-27页（1986）
[8] Cohen，J.：约束逻辑编程语言。Commun公司。ACM33（7），52-68（1990）·数字对象标识代码：10.1145/79204.79209
[9] Damas，L.，Milner，R.：功能程序的主要类型方案。收录于：1982年1月第九届ACM编程语言原则年会会议记录，第207-212页
[10] Despereux，T.：静态语义的可执行规范。收录于：Kahn，G.（ed）《数据类型的语义》（Lect.Notes Compute.Sci.，第173卷，第215-233页）。柏林-海德堡纽约：施普林格1984
[11] Fages，F.：联想-交换统一。收录于：Shostak，R.E.（编辑）第七届自动扣除国际会议（Lect.Notes Compute.Sci.，第170卷，第194-208页）。柏林-海德堡纽约：施普林格1984·Zbl 0547.03012号
[12] Grosch，F.J.，Snelting，G.：ADA的基于Interence的过载解决方案。摘自：Deransart，P.（ed.）第二届编程语言实现和逻辑编程大会（Lect.Notes Compute.Sci.，第456卷，第30-44页）。柏林-海德堡纽约：Springer 1990
[13] Henhapl，W.：程序片段中的上下文条件。技术报告PU-R1/80，TH Darmstadt，Praktische Informatik，D-6100 Darmstadt，1980
[14] 胡佛，R.：增量图评估。1987年康奈尔大学计算机科学系博士论文
[15] Huet，G.：类型的统一算法-微积分。西奥。计算。科学1，27-57（1975）·Zbl 0337.68027号 ·doi:10.1016/0304-3975（75）90011-0
[16] Hussmann，H.：条件方程理论的统一。收录：Caveness，B.F.（编辑）Proc。欧洲1985（Lect.Notes Compute.Sci.，第204卷，第543-553页）。柏林-海德堡纽约：施普林格1985·Zbl 0581.68064号
[17] Jaffar，J.，Lassez，J-L.：约束逻辑编程。收录于：第14届ACM编程语言原则年度研讨会的Conferene记录，第111-119页。1987年1月，西德慕尼黑
[18] Johnson，G.Fisher，Ch.：基于语言的编辑器中的非语法属性流。收录于：1982年1月第九届ACM编程语言原则年会会议记录，第185-195页
[19] Jones，C.：使用VDM进行系统软件开发。新泽西州恩格尔伍德克利夫斯：普伦蒂斯·霍尔1986·Zbl 0584.68008号
[20] Kaes，S.：多态编程语言中的参数重载。摘自：Ganzinger，H.（编辑）ESOP’88，第二届欧洲编程研讨会（Lect.Notes Compute.Sci.，第300卷，第131-144页）。柏林-海德堡纽约：Springer 1988
[21] Kahn，G.：自然语义学。收录于：Brandenburg，F.（ed）STACS 1987（Lect.Notes Compute.Sci.，第247卷）。柏林-海德堡纽约：施普林格1987·Zbl 0635.68007号
[22] Kastens，U.：有序属性语法。《信息学报》13（3），229-256（1980）·doi:10.1007/BF00288644
[23] Kay，M.：统一语法。1983年施乐帕洛阿尔托研究中心技术报告
[24] Maier，D.：关系数据库理论。牛津-纽约：计算机科学出版社1983·Zbl 0519.68082号
[25] Martin，U.，Nipkow，T.：布尔统一是迄今为止的故事。J.塞姆。计算结果7275-293（1989）·Zbl 0682.68093号 ·doi:10.1016/S0747-7171（89）80013-6
[26] Meseguer，J.，Goguen，J.，Smolka，G.：有序统一。J.塞姆。计算。（出现）·Zbl 0691.0302号
[27] Milner，R.：编程中的类型多态理论。J.计算。系统。科学17（3），348-375（1978）·Zbl 0388.68003号 ·doi:10.1016/0022-0000（78）90014-4
[28] Nikhil，R.：实用多态性。摘自：Jouannaud，J.P.（编辑）《函数编程语言和计算机体系结构》（Lect.Notes Compute.Sci.，第201卷，第319-333页）。柏林-海德堡纽约：施普林格1985
[29] Reps，T.：面向语法定向编辑器的最佳时间增量语义分析。附：1982年第九届ACM编程语言原则年度研讨会会议记录，第169-176页
[30] Schek，H.，Scholl，M.：具有关系值属性的关系模型。信息系统11（2），137-147（1986）·Zbl 0589.68067号 ·doi:10.1016/0306-4379（86）90003-7
[31] Schmidt-Schauß，M.：带术语声明的顺序排序逻辑的计算方面（Lect.Notes Compute.Sci.，vol.395）。柏林-海德堡纽约：施普林格1989·Zbl 0689.68001号
[32] Schroeder，U.，Schütz，D.：编程环境的增量名称解析。硕士论文，TH Darmstadt，Praktische Informatik，1987年12月（德语）
[33] Shieber，S.：基于统一的语法方法简介。伊利诺伊州芝加哥：芝加哥大学出版社1986·Zbl 0770.68008号
[34] Smolka，G.：具有子段的特征逻辑。技术报告LILOG报告33。IBM斯图加特，1988
[35] Snelting，G.：在unvollständigen Programmfragmenten中进行Inkrementelle语义分析。博士论文，TH Darmstadt，Facbereich Informatik，1986年3月（德语）
[36] Snelting，G.，Bahlke，R.：PSG：基于理论的环境生成器。In：程序。系统开发环境与工厂国际会议，第131-140页。伦敦：Pitnam 1990
[37] Toyn，I.，Dix，A.，Runciman，C.：性能多态性。收录于：Kahn，G.（ed）《函数编程语言和计算机体系结构》（Lect.Notes Compute Sci.，第274卷，第325-346页）。柏林-海德堡纽约：施普林格1987·Zbl 0624.68010号
[38] Wadler，Ph.，Blott，S.：如何减少特殊多态性。收录于：第16届美国计算机学会编程语言原理年度研讨会会议记录，第60-76页，1989年1月
[39] Walther，Ch.：多种形式的统一。J.ACM35（1），1-17（1988）·doi:10.11145/42267.45071
[40] Yeh，D.：关于有序属性语法的增量求值。BIT23308-320（1983）·Zbl 0512.68053号 ·doi:10.1007/BF01934460
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。