摘要
1 AHO,A.V.、BEERI,C.和ULLMAN,J.D.关系数据库中的联接理论。 ACM事务处理。 数据库系统。 4,3(1979年),297-314。 谷歌学者 2 AIT-KACI,I-I.和NASR,R.逻辑和继承。 第13届美国计算机学会编程语言原理研讨会会议记录(佛罗里达州圣彼得堡,1986年1月),美国计算机学会,纽约,219-228。 谷歌学者 三 AMBRIOLA,V.和MONTANGERO,C.在GANDALF环境中自动生成执行工具。 J.系统。 柔和。 5、2(1985年5月),155-171。 谷歌学者 4 BAHLKE,R.,ANO LETSCHERT,T.《BLKS系统:面向编程环境的生成》。 在诉讼程序3中。 Gl-Fachesprach编译器(慕尼黑,1982年3月),W.Henbolp,Ed.,153-173。 谷歌学者 5 BAHLKE,R.,AND SNELTING,G.Programmiersystemgenerator——阿贝茨贝里奇1984,众议员PU2R2/84,TH达姆施塔特,1984年2月。 谷歌学者 6 BAHLKE,R和LETSCHERT,T.Ausf ~ ihrbare表示Semantik。 在诉讼程序4中。 GI-Fachgespr~ch Implementierung on Programmiersprachen(苏黎世,1984年3月),H.Ganzinger,Ed.,3-19。 谷歌学者 7 BAHLKE,R.和SNELTING,G.PSG编程系统生成器。 ACM SIGPLAN非。 第20、7页(1985年7月),第28-33页。 谷歌学者 8 BAHLKE,R.和SNELTING,G.使用PSG环境进行上下文敏感编辑。 高级编程环境国际研讨会论文集:计算机科学讲稿。 纽约施普林格出版社(1986年6月出版)。 谷歌学者 9 BJORNER,D.和JONES,C.B.(编辑)《维也纳发展方法:元语言》。 计算机科学课堂讲稿,61。 施普林格出版社,纽约,1978年。 谷歌学者 10 BJORNER,D.和JONES,C.B.正式规范和软件开发。 普伦蒂斯·霍尔,新泽西州恩格尔伍德克利夫斯,1982年。 谷歌学者 11 CLACK,C.和PEYTON JONES,S.r.严格性分析——一种实用的方法。 计算机科学讲义,201。 Springer Verlag,纽约,1985年,35-49。 谷歌学者 12 DESPEYROUX,T.静态语义的可执行规范。 在《计算机科学讲义》中,173。 Springer Verlag,纽约,1984,215-233。 谷歌学者 13 DONZEAU-GOUGE,V.、KAHN,G.、LANG,B.和MI~L~SE,B.在MENTOR中记录结构和模块化。 ACM SIGPLAN不是。 第19、5页(1984年5月),第141-148页。 谷歌学者 14 ELLISON,R.J.和STAUDT,B.J.《GANDALF系统的演变》。 J.系统。 柔和。 第5、2页(1985年5月),第107-119页。 谷歌学者 15 GILOI,W.K.,AND M(~HLENBEIN,H.SUPRENUM超级计算机体系结构的基本原理和概念。内部代表,Gesellschaft~r Mathematik und Datenverabeitung,1985年。 谷歌学者 16 GOGUEN,J.A.有序代数:异常和错误排序、胁迫和重载运算符。 语义学与计算理论,加州大学洛杉矶分校,1978年。 谷歌学者 17 HENHAPL,W.Von der编译器-Generierung zu der Programmiersystemgenerierung。 在诉讼程序1。 GI-Fachgespr~ch编译器(柏林,1978年9月),160-169。 谷歌学者 18 HENHAPL,W.和LETSCHERT,T.研究、开发和教育领域的VDM:当地经验。 在编程的形式模型中。 荷兰北部,阿姆斯特丹,1985年,157-180年。 谷歌学者 19 HUDAK,P.,AND YOUNG,J.非类型lambda演算中的高阶严格性分析。 第13届美国计算机学会编程语言原理研讨会会议记录(佛罗里达州圣彼得堡,1986年1月),美国计算机学会,纽约,97-109。 谷歌学者 20 JOHNSON,G.F.和FISCHER,C.N.基于语言的编辑器中用于非局部增量属性评估的元语言和系统。 第十二届美国计算机学会编程语言原理研讨会会议记录(路易斯安那州新奥尔良,1985年1月),美国计算机学会,纽约,141-151。 谷歌学者 21 JOHNSON,S.C.YACC:又一个编译器编译器。 在《UNIX程序员手册》第2B卷,贝尔实验室。, 1978年7月。 谷歌学者 22 KAHN,G.,LANG,B.,Mi~LI~SE,B.,AND MORCOS,E.METAL:指定形式主义的形式主义。 科学。 计算。 程序。 3 (1983), 151-188. 谷歌学者 23 LANDIN,P.J.表达式的机械评估。 计算。 J.6,4(1964),308-320。 谷歌学者 24 MEDINA-MORA,R.语法导向编辑:面向集成编程环境。 卡内基梅隆大学博士论文,1982年3月。 谷歌学者 25 MEDINA-MORA,R.、NOTKIN,D.S.和ELLISON,g.J.ALOE用户和实施者指南。 卡内基梅隆大学,1982年5月。 谷歌学者 26 MEERTENS,L.《第十届美国计算机学会编程语言原理研讨会会议记录》(1983年1月,德克萨斯州奥斯汀),美国计算机学会,纽约,265-275。 谷歌学者 27 MILNER,R.编程中的类型多态理论。 J.计算。 系统。 科学。 17, 3 (1978), 348-375. 谷歌学者 28 MOSSES,P.SIS——语义实现系统,参考手册和用户指南。 代表DAIMI MD-30,奥胡斯大学,1979年8月。 谷歌学者 29 PLOTKIN,G.建立方程理论。 机器。 国际互联网。 7(1972),73-90。 谷歌学者 30 REISS,S.增量编译方法。 ACM SIGPLAN非。 19,6(1984年6月),144-151。 谷歌学者 31 REPS,T.生成基于语言的环境。 代表TR 82-514,康奈尔大学,1982年8月。 谷歌学者 32 REPS,T.、TEITELBAUM,T.和DEMERS,A.基于语言的编辑器的增量上下文相关分析。 ACM事务处理。 程序。 语言系统。 第5、3页(1983年7月),第449-477页。 谷歌学者 33 REPS,T.和TEITELBAUM,T.合成器生成器。 ACM SIGPLAN非。 第19、5页(1984年5月),第42-48页。 谷歌学者 34 REPS,T.和TEITELBAUM,T.合成器生成器参考手册。 康奈尔大学,1985年8月。 谷歌学者 35 REPS,T.,AND SNELTING,G.使用属性语法实现的上下文关系。 康奈尔大学,1986年1月。 谷歌学者 36 RETY,P.,KmCHNER,C.,KIRCHNER,H.,ANO LESCANNE,P.NARROWER:一种新的统一算法及其在逻辑编程中的应用。 计算机科学课堂讲稿,202。 Springer Verlag,纽约,1985年,139-157年。 谷歌学者 37 ROBINSON,J.A.基于解析原理的面向机器的逻辑。 《美国临床医学杂志》第12卷第1期(1965年),第23-41页。 谷歌学者 38 SIEKMANN,J.H.《普遍统一》。 在计算机科学课堂讲稿中,170。 施普林格·弗拉格,纽约,1984年,第1-42页。 谷歌学者 39 SNELTINa,G.和HENHAPL,W.将多分类代数中的统一作为增量语义分析的工具。 第13届美国计算机学会编程语言原理研讨会会议记录(佛罗里达州圣彼得堡,1986年1月),美国计算机学会,纽约,229-235。 谷歌学者 40 SNELTING,G.Inkrementelle semantische在unvollst~indigen Programmfragmenten mit Kontextrelationen中进行分析。 博士论文,TH Darmstadt,1986年3月。 谷歌学者 41 STOY,J.E.《指称语义学:编程语言理论的斯科特-斯特拉奇方法》(The Scott-Strachey Approach to Programming Language Theory)。 麻省理工学院出版社,马萨诸塞州剑桥,1977年。 谷歌学者 42 编程语言的指称语义。 Commun公司。 ACM 19、8(1976年8月),437-453。 谷歌学者 43 VUILLEMIN,J.在简单编程语言中正确优化递归实现。 J.计算。 系统。 科学。 9 (1974), 332-354. 谷歌学者
索引术语
PSG系统:从形式语言定义到交互式编程环境
建议
PSG-编程系统生成器 SLIPE’85:关于编程环境中语言问题的ACM SIGPLAN 85研讨会会议记录 达姆施塔特技术大学开发的编程系统生成器根据正式的语言定义生成复杂的交互式编程环境。 从语言语法的正式的、完全非程序的定义来看,。。。