×

找到16个文档（结果1-16）

最新的 引文 关联
马蒂奥·奇米尼

Lang-n-Send公司扩展：向监视器发送正则表达式。 （英语） Zbl 07811914号

Aubert，Clément（ed.）等人，第15届交互和并发体验研讨会论文集，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365、69-84（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}，电子。程序。西奥。计算。科学。（EPTCS）365、69--84（2022；Zbl 07811914）
全文： 内政部 arXiv公司
本杰明·穆拉德;马蒂奥·奇米尼

系统描述：lang-n-change–转换语言的工具。 （英语） Zbl 07368092号

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12073, 198-214 (2020).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.Mourad}和\textit{M.Cimini}，莱克特。注释计算。科学。12073，198--214（2020；Zbl 07368092）
全文： 内政部
马蒂奥·奇米尼

高阶逻辑编程在面向语言编程中的有效性。 （英语） Zbl 07368087号

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12073, 106-123 (2020).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}，莱克特。注释计算。科学。12073、106-123（2020；Zbl 07368087）
全文： 内政部
本杰明·穆拉德;马蒂奥·奇米尼

语言转换的微积分。 （英语） Zbl 1508.68034号

Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12011, 547-555 (2020).
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Mourad}和\textit{M.Cimini}，莱克特。注释计算。科学。12011，547--555（2020；Zbl 1508.68034）
全文： 内政部 arXiv公司
马蒂奥·奇米尼;杰里米·西克。

自动生成渐变类型语言的动态语义。 （英语） 兹比尔1380.68082

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。789-803 (2017).
MSC公司：68甲15 68N17号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}和\textit{J.G.Siek}，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。789--803（2017；Zbl 1380.68082）
全文： 内政部
特雷弗·L·麦克唐纳。;蒂莫西·扎基安（Timothy A.K.Zakian）。;马蒂奥·奇米尼;Ryan R.牛顿。

Ghostbuster：简化和转换GADT的工具。 （英语） Zbl 1361.68042号

Garrigue，Jacques（ed.）等人，第21届ACM SIGPLAN功能编程国际会议论文集，ICFP’16，日本奈良，2016年9月18日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。338-350 (2016).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{T.L.McDonell}等人，in：第21届ACM SIGPLAN函数式编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。338--350（2016；Zbl 1361.68042）
全文： 内政部
马蒂奥·奇米尼;杰里米·西克。

渐变器：生成渐变类型系统的方法和算法。 （英语） Zbl 1347.68048号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。443-455 (2016).
MSC公司：68甲18 68甲15 68N17号 68N20型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}和\textit{J.G.Siek}，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。443--455（2016；Zbl 1347.68048）
全文： 内政部
罗纳德·加西亚;马蒂奥·奇米尼

渐进计划的主体类型方案。 （英语） Zbl 1345.68105号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。303-315 (2015).
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Garcia}和\textit{M.Cimini}，摘自：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。303--315（2015；Zbl 1345.68105）
全文： 内政部
杰里米·西克。;Michael M.维图塞克。;马蒂奥·奇米尼;萨姆·托宾·霍施塔特;罗纳德·加西亚

高效渐进式键入的单调引用。 （英语） Zbl 1335.68069号

Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，432-456（2015）。
MSC公司：68号30 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.G.Siek}等人，Lect。注释计算。科学。9032、432--456（2015；Zbl 1335.68069）
全文： 内政部
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;默多克·J·加贝。

标称SOS。 （英语） Zbl 1342.68193号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286103-116（2012）。
MSC公司：68问题55 68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}等人，《电子》。注释Theor。计算。科学。286103--116（2012；Zbl 1342.68193）
全文： 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。

分配性的规则格式。 （英语） Zbl 1330.68184号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2011年5月26日至31日，西班牙塔拉戈纳，第五届国际会议，LATA 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21253-6/pbk）。计算机科学讲座笔记6638，80-91（2011）。
MSC公司：68问题55 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。6638，80-91（2011；Zbl 1330.68184）
全文： 内政部 链接
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂

一种基于互模拟的方法，用于证明GSOS语言中方程的有效性。 （英语） Zbl 1454.68071号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第18卷，第1-16页（2010年）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《电子》。程序。西奥。计算。科学。（EPTCS）18，1--16（2010；Zbl 1454.68071）
全文： 链接
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。

零元素和单位元素的规则格式。 （英语） Zbl 1342.68189号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265145-160（2010）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《电子》。注释Theor。计算。科学。265145-160（2010年；Zbl 1342.68189）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件