×

找到12个文档(结果1-12)

利用编译器中间表示进行多语言和跨语言验证。 (英语) Zbl 1451.68071号

Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于多语言结构。 (英语) Zbl 1524.68078号

Caires,Luís(编辑),《编程语言和系统》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,第28届欧洲编程研讨会(ESOP 2019)在捷克共和国布拉格举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11423, 293-321 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过通用嵌入进行完全抽象编译。 (英语) 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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过多语言语义提供对等的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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于模块的多语言约束建模框架。 (英语) 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格式引用
全文: 链接

多语言程序的操作语义。 (英语) 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格式引用
全文: 内政部

在多语言生成组件中跨语言重用语言资源。 (英语) Zbl 0761.68079号

人工智能,IJCAI-91,Proc。第十二届国际会议,悉尼/澳大利亚,1991,966-971(1991)。
MSC公司:68T50型 68层35
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份