×

找到411个文档（结果1–100）

最新的 引文 关联
迪维亚·巴贾杰;马丁·埃尔维格;丹尼尔·费多林;凯·盖伊

适用于程序解释的跟踪。 （英语） Zbl 1520.68018号

哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，美国伊利诺伊州芝加哥，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008, 202-221 (2021).
MSC公司：68甲15 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Bajaj}等人，Lect。注释计算。科学。13008202-221（2021；Zbl 1520.68018）
全文： 内政部
萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼

关于多语言结构。 （英语） 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）
全文： 内政部
吉姆·伍德科克;安娜·卡瓦尔坎蒂;西蒙·福斯特;亚历山大·莫塔;叶康峰

RoboChart的概率语义。最弱的完成方法。 （英语） Zbl 07168635号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885, 80-105 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Woodcock}等人，Lect。注释计算。科学。11885，80-105（2019；Zbl 07168635）
全文： 内政部
易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬

并发量子系统的自动等价性检查。 （英语） Zbl 1407.68276号

ACM事务处理。计算。日志。 第19条第4款第28条第32页（2018年）.
MSC公司：第68季度第60季度 第68季度12 68问题85 81页第45页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{E.Ardeshir-Larijani}等人，ACM Trans。计算。日志。19，第4号，第28条，第32页（2018；Zbl 1407.68276）
全文： 内政部 链接
何继峰;秦、李

混合关系建模语言。 （英语） Zbl 1485.68162号

Gibson-Robinson，Thomas（编辑）等人，《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10160, 124-143 (2017).
MSC公司：68问题85 68号30 68问题55 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Jifeng}和\textit{L.Qin}，Lect。注释计算。科学。10160、124--143（2017；Zbl 1485.68162）
全文： 内政部
杰伦、布拉姆;保罗·布莱恩·利维

迭代和标记迭代。 （英语） Zbl 1394.68061号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325127-146（2016）。
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Geron}和\textit{P.B.Levy}，电子。注释Theor。计算。科学。325127--146（2016；Zbl 1394.68061）
全文： 内政部
新，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）
全文： 内政部
萨姆森·艾布拉姆斯基;多米尼克·霍斯曼

DEMONIC编程：单粒子平衡热力学的计算语言及其形式语义。 （英语） Zbl 1477.80001号

Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，1-16（2015）。
MSC公司：80-04 68甲15 68问题55 第81页，共13页 80A10号 03B70号 81页68
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}和\textit{D.Horsman}，电子。程序。西奥。计算。科学。（EPTCS）195，1--16（2015；Zbl 1477.80001）
全文： arXiv公司 链接
迪士尼，蒂姆;科马克·弗拉纳根

类型稳健性的游戏语义。 （英语） 兹比尔1401.68172

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。104-114 (2015).
MSC公司：68问题55 68甲18 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Disney}和\textit{C.Flanagan}，摘自：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。104-114（2015；Zbl 1401.68172）
全文： 内政部
维尔古，弗拉德;皮埃尔·内龙;伊尔科Visser

DynSem：用于动态语义规范的DSL。 （英语） Zbl 1366.68015号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，365-378（2015）。
MSC公司：68甲15 68N20型 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Vergu}等人，LIPIcs——莱布尼茨国际程序。通知。36365-378（2015；Zbl 1366.68015）
全文： 内政部
帕特里克·巴尔;乔斯特·贝托尔德;马丁·埃尔斯曼

金融多方合同的认证符号管理。 （英语） Zbl 1360.68356号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。315-327 (2015).
MSC公司：68号30 68甲18 68问题55 91B40型 91G99型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bahr}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。315--327（2015；Zbl 1360.68356）
全文： 内政部
乌尔里克·帕赫·舒尔茨;约翰·桑德·劳尔森;拉尔斯·彼得·埃勒基尔德;阿克塞尔森，霍尔格·博克

针对可逆汇编序列的领域特定语言。 （英语） Zbl 1464.68406号

Krivine，Jean（编辑）等人，《可逆计算》。2015年7月16日至17日，第七届国际会议，RC 2015，法国格勒诺布尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9138, 111-126 (2015).
MSC公司：68T40型 68甲15 68问题55 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{U.P.Schultz}等人，Lect。注释计算。科学。9138、111-126（2015年；Zbl 1464.68406）
全文： 内政部
月亮，Young-Joo;亚历山德拉·席尔瓦;克里斯蒂安·克劳斯;法哈德·阿尔巴

一个组合模型，用于推理随机Reo连接器中的端到端QoS。 （英语） Zbl 1412.68065号

科学。计算。程序。 80，A部分，3-24（2014）.
MSC公司：2010年第68季度 68甲15 65年第68季度 68问题55 第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.-J.Moon}等人，科学。计算。程序。80，A部分，3--24（2014；Zbl 1412.68065）
全文： 内政部 arXiv公司 链接
上野胜弘;育田县福泽县;秋正森哈塔;Atsushi Ohori

Ruby的精髓。 （英语） Zbl 1453.68031号

雅克·加里格（编辑），《编程语言和系统》。第十二届亚洲研讨会，2014年APLAS，新加坡，新加坡，2014年11月17日至19日，会议记录。柏林：斯普林格。莱克特。注释计算。科学。8858, 78-98 (2014).
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Ueno}等人，Lect。注释计算。科学。8858，78--98（2014；Zbl 1453.68031）
全文： 内政部
弗拉维奥·克鲁兹;里卡多·罗查;塞斯·科本·戈尔茨坦;弗兰克·芬宁

用于在图结构上并发编程的线性逻辑编程语言。 （英语） Zbl 1307.68014号

理论与实践。日志。程序。 14，No.4-5，493-507（2014）.
MSC公司：68N17号 68甲15 03B70号 第68页第19页 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{F.Cruz}等人，《理论与实践》。日志。程序。14、编号4--5、493--507（2014；Zbl 1307.68014）
全文： 内政部 arXiv公司
乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克

在图的变换上使用\（mathrm{SROIQ}^{sigma}\）逻辑的Hoare-like演算。 （英语） 兹伯利1417.68026

乔塞普·迪亚兹（编辑）等人，《理论计算机科学》。第八届IFIP TC 1/WG 2.2国际会议，TCS 2014，罗马，意大利，2014年9月1日至3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8705, 164-178 (2014).
MSC公司：68甲15 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Brenas}等人，Lect。注释计算。科学。8705，164--178（2014；Zbl 1417.68026）
全文： 内政部
尼基尔·斯瓦米;塞德里克·福内特;拉斯托吉，阿塞姆;卡尔蒂基扬·巴尔干;陈，胡安;Pierre-Yves支柱;加文·比尔曼

逐步键入安全嵌入JavaScript。 （英语） Zbl 1284.68108号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。425-437 (2014).
MSC公司：68甲15 68甲18 68N20型 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Swamy}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。425--437（2014年；Zbl 1284.68108）
全文： 内政部
艾特·卡奇，哈桑

抽象、可重用和可扩展的编程语言设计体系结构。 （英语） Zbl 1397.68023号

Tannen，Val（编辑）等人，《在计算理论和实践中寻求优雅》。专为彼得·布内曼撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-41659-0/pbk；978-3-442-41660-6/电子书）。计算机科学课堂讲稿8000，112-166（2013）。
MSC公司：68甲15 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}，莱克特。注释计算。科学。8000、112--166（2013；Zbl 1397.68023）
全文： 内政部
罗伊·克罗。;弗兰克·内贝尔

名义lambda演算：FM-Cartesian闭范畴的内部语言。 （英语） Zbl 1334.68042号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记29893-117（2013）。
MSC公司：68甲18 03B40型 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.L.Crole}和textit{F.Nebel}，电子。注释Theor。计算。科学。29893--117（2013；Zbl 1334.68042）
全文： 内政部
克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;卢卡·布雷维利里;安杰洛·莫尔岑蒂

形式语言和编译。第2版。 （英语） Zbl 1298.68005号

计算机科学课文伦敦：施普林格出版社（ISBN 978-1-4471-5513-3/hbk；978-1-4471-5514-0/电子书）。xii，第399页。(2013).
审核人：安德烈亚斯·马莱蒂（斯图加特）
MSC公司：68-01 65年第68季度 2012年第68季度 68问题55 68甲15 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Crespi Reghizzi}等人，形式语言和编译。第二版伦敦：施普林格出版社（2013；Zbl 1298.68005）
全文： 内政部
埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿（James B.Lipton）。

表格寓言中的逻辑编程。 （英语） Zbl 1281.68079号

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议录17，334-347，电子版（2012）。
MSC公司：68号30 68N20型 68N17号 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Gallego Arias}和\textit{J.B.Lipton}，LIPIcs——莱布尼茨国际程序。通知。17、334--347（2012；Zbl 1281.68079）
全文： 内政部
T.V.罗萨达。;Sklyar，A.V.公司。

具有多值命名的半结构化数据的属性及其使用。 （乌克兰语。英文摘要） Zbl 1289.68008号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期，218-227（2012）.
MSC公司：68甲15 68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{T.V.Rossada}和\textit{A.V.Sklyar}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第2期，第218--227页（2012；Zbl 1289.68008）
乔纳森·格拉塔奇

对QML的概述，以及在Haskell中的具体实现。 （英语） Zbl 1347.68053号

Coecke，Bob（编辑）等人，第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集（QPL/DCM 2008），冰岛雷克雅未克，2008年7月12-13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记270，第1期，165-174（2011）。
MSC公司：68甲18 68甲15 68N20型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Grattage}，电子。注释Theor。计算。科学。270，第1号，165--174（2011；Zbl 1347.68053）
全文： 内政部
Jeannin、Jean-Baptiste

胶囊和封口。 （英语） Zbl 1342.68088号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276191-213（2011）。
MSC公司：68号30 68甲15 68甲18 第68页第19页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.-B.Jeannin}，电子。注释Theor。计算。科学。276191-213（2011；Zbl 1342.68088）
全文： 内政部
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

通过多语言语义提供对等的CPS翻译。 （英语） Zbl 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 第68季度第60季度
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）
全文： 内政部
奥尔法·姆拉伊;加尔达洛，Wided;阿斯玛·卢希奇;拉米亚·拉比德·吉拉尼;赛义德;阿里·米莉

计算while循环的前置条件和后置条件。 （英语） Zbl 1350.68062号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，173-193（2011）。
MSC公司：68号30 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Mraihi}等人，Lect。注释计算。科学。6916、173--193（2011；Zbl 1350.68062）
全文： 内政部
Gilles Dowek;珍妮·雅克·莱维

编程语言理论导论。 （英语） Zbl 1213.68160号

计算机科学本科专题伦敦：施普林格出版社（ISBN 978-0-85729-075-5/pbk；978-0-850729-076-2/电子书）。xi，96页。(2011).
审核人：安东尼哈（普拉哈）
MSC公司：68甲15 68-01 68甲18 68N20型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}和\textit{J.-J.Lévy}，编程语言理论简介。伦敦：施普林格出版社（2011；Zbl 1213.68160）
全文： 内政部
帕斯卡·索丁;贝特朗·珍妮特;对手，泽维尔

形状分析的具体记忆模型。 （英语） Zbl 1342.68103号

Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，139-150（2010）。
MSC公司：68号30 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Sotin}等人，《电子》。注释Theor。计算。科学。267，编号1，139-150（2010年；兹bl 1342.68103）
全文： 内政部
Shyamasundar，R.K。;拉梅什，S。

实时编程。语言、规范和验证。 （英语） Zbl 1204.68049号

新泽西州哈肯萨克：世界科学（ISBN 978-981-02-2566-7/hbk；978-981-2 8-1402-9/电子书）。十五、245页。(2010).
审核人：斯特凡·梅耶（柏林）
MSC公司：68甲15 68-02 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.K.Shyamasundar}和\textit{S.Rameesh}，实时编程。语言、规范和验证。新泽西州哈肯萨克：《世界科学》（2010；Zbl 1204.68049）
全文： 链接
希尔斯，马克

重写逻辑语义定义中的内存表示。 （英语） Zbl 1347.68196号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，155-172（2009）。
MSC公司：2012年第68季度 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Hills}，电子。注释Theor。计算。科学。238，第3号，155--172（2009；Zbl 1347.68196）
全文： 内政部
马蒂·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｝等人，在：研讨会议事录中。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。1-15（2009年；Zbl 1219.68087）
全文： 链接
伊夫·贝托特

编程语言语义中的定理证明支持。 （英语） Zbl 1195.68090号

Bertot，Yves（编辑）等人，《从语义学到计算机科学》。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社（ISBN 978-0-521-51825-3/hbk）。337-361 (2009).
MSC公司：68吨15 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{Y.Bertot}，in：从语义学到计算机科学。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社。337--361（2009年；Zbl 1195.68090）
松武公园;金·金哈;我，Hyeonseung

功能网表。 （英语） Zbl 1323.68146号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN Notices 43，No.9，353-366（2008）。
MSC公司：68甲18 65T50型 68甲15 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Park}等人，in：第13届ACM SIGPLAN函数编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20日至28日。纽约州纽约市：计算机协会（ACM）。353--366（2008年；Zbl 1323.68146）
全文： 内政部
路易斯·朱利安·吉列米特;斯特凡·莫尼尔

Haskell中的类型保护编译器。 （英语） Zbl 1323.68187号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN Notices 43，No.9，75-86（2008）。
MSC公司：68N20型 68甲15 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.-J.Guillemette}和\textit{S.Monnier}，摘自：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机协会（ACM）。75-86（2008年；兹bl 1323.68187）
全文： 内政部
迈克尔·兰皮斯;基里亚科斯·吉尼斯（Kyriakos G.Ginis）。;Michalis A.Papakyriakou。;尼古拉斯·帕帕斯普鲁。

量子数据和控制变得更容易。 （英语） Zbl 1279.68035号

Peter Selinger（编辑），《第四届量子编程语言国际研讨会论文集》（QPL 2006），英国牛津，2006年7月17日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记210，85-105（2008）。
MSC公司：68甲15 68甲18 81页第10页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Lampis}等人，《电子》。注释Theor。计算。科学。210、85-105（2008年；Zbl 1279.68035）
全文： 内政部
雅各布·马修斯;罗伯特·布鲁斯·芬德勒

多语言程序的操作语义。 （英语） 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年；兹bl 1295.68053）
全文： 内政部
阿扎德法尔赞;何塞·梅塞盖尔

编程语言重写语义的部分降阶。 （英语） Zbl 1279.68207号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，61-78（2007）。
MSC公司：第68季度第60季度 68甲15 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Farzan}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，61--78（2007；Zbl 1279.68207）
全文： 内政部
蒂姆·谢尔德;埃米尔·帕萨利克

内置类型相等的元编程。 （英语） Zbl 1278.68062号

Schürmann，C.（编辑），第四届逻辑框架和元语言国际研讨会论文集（LFM 2004），英国科克，2004年7月5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记199，49-65（2008）。
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Sheard}和\textit{E.Pasalic}，电子。注释Theor。计算。科学。199、49-65（2007年；Zbl 1278.68062）
全文： 内政部
范·列文（A.J.van Leeuwen）。

通过组合扩展构建验证条件生成器。 （英语） Zbl 1277.68062号

Romijn，Judi（编辑）等人，第五届综合正式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记191，73-83（2007）。
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.J.van Leeuwen}，电子。注释Theor。计算。科学。191、73--83（2007年；Zbl 1277.68062）
全文： 内政部
汉斯·朗马克

关于Algol概念在现代编程和规范语言中的复兴。 （英语） Zbl 1151.68351号

Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，414-434（2007）。
MSC公司：68甲15 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Langmaack}，莱克特。注释计算。科学。4700、414--434（2007年；Zbl 1151.68351）
全文： 内政部
凯斯，约翰;塞缪尔·莫利乌斯（Samuel E.III Moelius）

补充程序自我引用的属性。 （英语） Zbl 1147.68441号

库切拉，卢德·克（编辑）等人，《2007年计算机科学的数学基础》。2007年8月26日至31日，第32届国际研讨会，MFCS 2007，捷克共和国乔斯克·克鲁姆洛夫。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74455-9/pbk）。计算机科学课堂讲稿4708，253-263（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Case}和\textit{S.E.Moelius三世}，莱克特。注释计算。科学。4708253-263（2007年；兹bl 1147.68441）
全文： 内政部
凯斯，约翰;塞缪尔·莫利乌斯（Samuel E.III Moelius）

描述允许程序自我引用的编程系统的特征。 （英语） Zbl 1151.68365号

Cooper，S.Barry（编辑）等人，《现实世界中的计算和逻辑》。第三届欧洲可计算性会议，2007年6月18日至23日，意大利锡耶纳，CiE 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73000-2/pbk）。计算机科学课堂讲稿4497125-134（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Case}和\textit{S.E.Moelius三世}，莱克特。注释计算。科学。4497、125--134（2007年；Zbl 1151.68365）
全文： 内政部
凯萨琳·费希尔;伊扎克·曼德尔鲍姆;大卫·沃克

接下来的700种数据描述语言。 （英语） Zbl 1369.68073号

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-027-2）。2-15 (2006).
MSC公司：68甲15 68N20型 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Fisher}等人，《第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL'06，查尔斯顿，南卡罗来纳州，美国，2006年1月11-13日。纽约州纽约市：计算机协会（ACM）。2--15（2006年；Zbl 1369.68073）
全文： 内政部
Deniélou、Pierre-Malo;詹姆斯·J·莱弗。

分布式语言中的抽象保存和子类型。 （英语） Zbl 1321.68148号

2006年9月18日至20日，美国俄勒冈州波特兰市2006年ICFP第11届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-309-3）。ACM SIGPLAN通知41，第9号，286-297（2006）。
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.-M.Deniélou}和\textit{J.J.Leifer}，摘自：第11届ACM SIGPLAN函数编程国际会议论文集，ICFP'06，美国俄勒冈州波特兰，2006年9月18-20日。纽约州纽约市：计算机协会（ACM）。286--297（2006；Zbl 1321.68148）
全文： 内政部
大卫·费希尔;希弗斯，奥林

语法对象的静态分析。 （英语） Zbl 1321.68124号

2006年9月18日至20日，美国俄勒冈州波特兰市2006年ICFP第11届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-309-3）。ACM SIGPLAN Notices 41，No.9，111-121（2006）。
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Fisher}和\textit{O.Shivers}，摘自：第11届ACM SIGPLAN函数编程国际会议论文集，ICFP'06，美国俄勒冈州波特兰，2006年9月18日至20日。纽约州纽约市：计算机协会（ACM）。111-121（2006；Zbl 1321.68124）
全文： 内政部
穆罕默德·雷扎·穆萨维

面向基于语言的安全性的SOS元理论。 （英语） Zbl 1316.68102号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，267-271（2006）。
MSC公司：68问题85 68甲15 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{M.R.穆萨维}，电子。注释Theor。计算。科学。162267--271（2006；Zbl 1316.68102）
全文： 内政部
亚历山德拉·迪·皮耶罗;赫伯特，威克利基

算子代数和概率语言的操作语义。 （英语） Zbl 1276.68050号

Seda，Anthony K.（编辑）等人，《第三届爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2004），爱尔兰都柏林，2004年7月22日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记161，131-150（2006）。
MSC公司：第68页第19页 68甲15 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Di-Pierro}和\textit{H.Wiklicky}，电子。注释Theor。计算。科学。161131-150（2006年；Zbl 1276.68050）
全文： 链接
哈梅尔·内斯特拉

迭代定义的超限跟踪语义和与之相关的程序切片。 （英语） Zbl 1129.68026号

塔尔图大学数学学位论文49.塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学数学与计算机科学学院（论文）（ISBN 9949-11-436-5/pbk）。第119页。(2006).
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：68号30 2002年3月 03B70号 68-02 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Nestra}，迭代定义的超限跟踪语义和与之相关的程序切片。塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学数学与计算机科学学院（论文）（2006；Zbl 1129.68026）
比约纳，迪内斯
[Christian Krog，马德森]

软件工程2。系统和语言规范。Christian Krog Madsen的贡献。 （英语） Zbl 1095.68021号

理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 3-540-21150-0/hbk）。第二十四、777页。(2006).
审核人：都铎·巴勒内斯库（皮特斯蒂）
MSC公司：68号30 68甲15 68N20型 68问题65 65年第68季度 68问题85 68-01
PDF格式BibTeX公司 XML格式引用
\textit{D.Björner}，软件工程2。系统和语言的规范。Christian Krog Madsen的贡献。柏林：施普林格出版社（2005；Zbl 1095.68021）
全文： 内政部
罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼

抽象不干涉：通过抽象解释将不干涉参数化。 （英语） Zbl 1325.68043号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。186-197 (2004).
MSC公司：68甲15 68问题55 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Giacobazzi}和\textit{I.Mastroeni}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。186-197（2004年；Zbl 1325.68043）
全文： 内政部
保罗·布莱恩·利维

呼叫推送值。功能性/命令性合成。 （英语） Zbl 1070.68017号

计算中的语义结构2。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1730-8/hbk）。xli，第352页。(2003).
审核人：Gunther Schmidt（Neubiberg）
MSC公司：68甲15 68甲18 68-02 68N20型 68问题55 70年第68季度 68号01 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{P.B.Levy}，Call-by push值。功能性/命令性合成。多德雷赫特：Kluwer学术出版社（2003年；兹bl 1070.68017）
萨姆森·艾布拉姆斯基

算法游戏语义。教程介绍。 （英语） Zbl 1097.68574号

Schwichtenberg，Helmut（编辑）等人，《证明与系统可靠性》。《北约高级研究所学报》，德国马克托伯多夫，2001年7月24日至8月5日。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-0607-1/hbk）。北约科学。序列号。二、 数学。物理学。化学。62, 21-47 (2002).
MSC公司：68问题55 68甲15 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}，北约科学。序列号。二、 数学。物理学。化学。62，21-47（2002年；兹bl 1097.68574）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件