杰克·J·加泽拉。;马雷克·巴拉诺夫斯基;何绍波;茨沃尼米尔·拉卡马里奇 利用编译器中间表示进行多语言和跨语言验证。 (英语) Zbl 1451.68071号 Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).MSC公司:68N20型 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Garzella}等人,Lect。注释计算。科学。11990,90-111(2020;Zbl 1451.68071) 全文: 内政部
萨缪尔·布鲁;伊莎贝拉·马斯特罗尼 关于多语言结构。 (英语) Zbl 1524.68078号 Caires,Luís(编辑),《编程语言和系统》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,第28届欧洲编程研讨会(ESOP 2019)在捷克共和国布拉格举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11423, 293-321 (2019).MSC公司:68号30 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Buro}和\textit{I.Mastroeni},莱克特。注释计算。科学。11423、293--321(2019年;Zbl 1524.68078) 全文: 内政部
新,Max S。;威廉·鲍曼。;阿马尔·艾哈迈德 通过通用嵌入进行完全抽象编译。 (英语) Zbl 1361.68044号 Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。103-116 (2016).MSC公司:68甲18 68N20型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.S.New}等人,摘自:《第21届ACM SIGPLAN函数编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)。103-116(2016;Zbl 1361.68044) 全文: 内政部
唐继良;王旭飞;高惠吉;胡,夏;刘欢 丰富微博中的短文本表示以进行聚类。 (英语) Zbl 1251.68303号 前面。计算。科学。 6,第1期,88-101(2012).MSC公司:68单位15 68立方英尺 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.Tang}等人,前面。计算。科学。6,第1号,88--101(2012;Zbl 1251.68303)
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 通过多语言语义提供对等的CPS翻译。 (英语) 兹比尔1323.68088 2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录,ICFP’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN Notices 46,No.9,431-444(2011)。MSC公司:68甲18 68N20型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}和\textit{M.Blume},in:第16届ACM SIGPLAN函数编程国际会议论文集,ICFP'11,日本东京,2011年9月19-21日。纽约州纽约市:计算机协会(ACM)。431--444(2011;Zbl 1323.68088) 全文: 内政部
亚历山大·贝格尔 协调方法重载和动态类型脚本语言。 (英语) 兹比尔1218.68068 计算。语言系统。结构。 37,第3期,132-150(2011).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bergel},计算。语言系统。结构。37,No.3,132--150(2011;Zbl 1218.68068) 全文: 内政部
马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔 基于模块的多语言约束建模框架。 (英语) Zbl 1219.68087号 Faber,Wolfgang(编辑)等人,《研讨会论文集》。2009年7月14日,美国加利福尼亚州帕萨迪纳,ICLP 2009年答案集编程和其他计算范式研讨会(ASPOCP 2009)。【s.l.】,【s.n.】。1-15 (2009).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,in:研讨会记录。2009年7月14日,美国加利福尼亚州帕萨迪纳,ICLP 2009年答案集编程和其他计算范式研讨会(ASPOCP 2009)。【s.l.】,【s.n.】。1-15(2009年;Zbl 1219.68087) 全文: 链接
马修斯,雅各布;罗伯特·布鲁斯·芬德勒 多语言程序的操作语义。 (英语) Zbl 1295.68053号 2007年1月17日至19日,法国尼斯,POPL'07,第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-575-4)。3-10 (2007).MSC公司:68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Matthews}和\textit{R.B.Findler},摘自:第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'07,法国尼斯,2007年1月17-19日。纽约州纽约市:计算机协会(ACM)。3-10(2007年;Zbl 1295.68053) 全文: 内政部
马古莱斯、弗雷德里克;罗马普塔诺维奇 使用多语言编程实现大规模数据可视化,应用于环境问题。 (英语) 兹比尔1208.68228 国际能源环境杂志。经济。 13,第1号,37-68(2004).MSC公司:68单位05 68-04 86A99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Magoulès}和\textit{R.Putanowicz},国际能源环境杂志。经济。13,第1号,37--68(2004;Zbl 1208.68228)
Rodríguez-Ferran,A。;A.韦尔塔。 面向对象代码中两种客观应力率的比较。 (英语) Zbl 1004.74003号 巴塞罗那:CIMNE。第65页(1994年)。 审核人:M.Mišicu(布库雷什蒂) MSC公司:74-02 74S05号 74C20美元 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Rodríguez-Ferran}和\textit{A.Huerta},面向对象代码中两种客观应力速率的比较。巴塞罗那:CIMNE(1994;Zbl 1004.74003)
约翰·贝特曼;克里斯蒂安·马蒂森;Keizo Nanri先生;曾立成 在多语言生成组件中跨语言重用语言资源。 (英语) Zbl 0761.68079号 人工智能,IJCAI-91,Proc。第十二届国际会议,悉尼/澳大利亚,1991,966-971(1991)。 审核人:N.Curteanu(伊阿什) MSC公司:68T50型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{J.Bateman}等人,in:IJCAI 91,第十二届国际人工智能会议论文集。1991年8月24日至30日,澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥:Morgan Kaufmann Publ。。966--971(1991年;Zbl 0761.68079)
哈伯曼,A.N。(编辑);美国蒙塔纳里。(编辑) 系统开发和Ada。CRAI软件工厂和Ada研讨会,意大利卡普里,1986年5月26日至30日。诉讼程序。 (英语) Zbl 0627.68004号 计算机科学课堂讲稿, 275. 柏林等:Springer-Verlag。五、 305页。;DM 45.00(1987)。 审核人:G.格里加斯 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式