×

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

最新的 引文 关联
吕贝尔斯、马特

与类深度嵌入。 （英语） Zbl 1528.68069号

Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13401, 39-58 (2023).
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.吕贝尔斯}，莱克特。注释计算。科学。13401，39-58（2023；Zbl 1528.68069）
全文： 内政部
明尼苏达州阮市;尼古拉斯·吴

折叠神经网络。 （英语） Zbl 07705360号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 129-150 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Nguyen}和\textit{N.Wu}，Lect。注释计算。科学。13544、129-150（2022；Zbl 07705360）
全文： 内政部 arXiv公司
Titus H.克林格。;詹姆斯·拉思罗普。;彼得·迈克尔·奥塞拉;艾莉森·罗杰斯

Reactamole：功能性反应分子编程。 （英语） Zbl 07741401号

Lakin，Matthew R.（编辑）等人，第27届DNA计算和分子编程国际会议。DNA 27，英国牛津（虚拟会议），2021年9月13日至16日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。205，第10条，第20页（2021年）。
MSC公司：2007年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{T.H.Klinge}等人，LIPIcs——莱布尼茨国际程序。通知。205，第10条，第20页（2021；Zbl 07741401）
全文： 内政部
迪维亚·巴贾杰;马丁·埃尔维格;丹尼尔·费多林;凯·盖伊

适用于程序解释的跟踪。 （英语） 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 1472.68042号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 29-51 (2021).
MSC公司：68号30 03B44号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Steffen｝和\textit｛A.Murtovi｝，Lect。注释计算。科学。12597，29-51（2021；Zbl 1472.68042）
全文： 内政部
胡安·德·拉腊;埃丝特·格拉

多层次模型产品线。建模语言族的开放和封闭可变性。 （英语） Zbl 1507.68083号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 161-181 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.de Lara}和\textit{E.Guerra}，莱克特。注释计算。科学。12076、161--181（2020年；Zbl 1507.68083）
全文： 内政部
哈拉尔德·科斯特勒;马可·海西格;科尔·尼尔斯;塞巴斯蒂安·库库克;马丁·鲍尔;乌尔里奇·吕德

并行几何多重网格求解器的代码生成方法。 （英语） Zbl 1488.68018号

安提恩。康斯坦·奥维迪乌斯大学。材料。 28，第3期，123-152（2020年）.
MSC公司：68N99型 65号55 65日元10
PDF格式BibTeX公司 XML格式引用
\textit{H.Köstler}等人，An.Științ。“奥维迪斯”大学Constanța，Ser。材料28，编号3，123--152（2020；Zbl 1488.68018）
全文： 内政部
本杰明·穆拉德;Cimini，马泰奥

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

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第15届国际研讨会，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）
全文： 内政部
埃里克·巴杜埃尔;罗德里格·艾美Djeumen Djatcha

使用变形分裂的领域特定语言的模块化设计。 （英语） Zbl 1518.68043号

Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 62-79 (2018).
MSC公司：68号30 18 C50 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{埃里·巴杜埃尔}和\textit{R.A.Djeumen Djatcha}，莱克特。注释计算。科学。11187、62-79（2018年；Zbl 1518.68043）
全文： 内政部 哈尔
迈克尔·阿恩特泽尼乌斯;克里希纳斯瓦米，尼拉坎坦·R。

Datafun：功能性数据日志。 （英语） Zbl 1360.68312号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。214-227 (2016).
MSC公司：68甲18 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Arntzenius}和\textit{N.R.Krishnaswami}，摘自：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。214--227（2016；Zbl 1360.68312）
全文： 内政部 链接
阿尔梅德罗斯-吉梅内斯（Almendros-Jiménez），杰苏斯·M·。;路易斯·伊里巴恩;洛佩斯·费尔南德斯;安格尔莫拉塞古拉

PTL：一种基于逻辑编程的模型转换语言。 （英语） Zbl 1351.68047号

J.日志。阿尔盖布。方法计划。 85，第2期，332-366（2016）.
MSC公司：68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Almendros-Jiménez}等人，J.Log。阿尔盖布。方法计划。85，第2号，332--366（2016；Zbl 1351.68047）
全文： 内政部
托马斯·海尔弗;布鲁诺·米歇尔;Jean-Michel Proix公司;马克西姆·萨尔沃;杰罗姆·塞尔科姆;米歇尔·卡塞拉

引入开源m前部代码生成器：应用于PLEIADES燃料元件建模平台内的机械行为和材料知识管理。 （英语） Zbl 1443.74004号

计算。数学。申请。 70，第5期，994-1023（2015）.
MSC公司：74-04 80-04
PDF格式BibTeX公司 XML格式引用
\textit{T.Helfer}等人，计算。数学。申请。70，第5号，994--1023（2015；Zbl 1443.74004）
全文： 内政部
弗拉德·韦尔古;皮埃尔·内龙;埃尔科·维瑟

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 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Vergu}等人，LIPIcs——莱布尼茨国际程序。通知。36365-378（2015；Zbl 1366.68015）
全文： 内政部
斯莫尔卡，斯特芬;埃利奥普洛斯、斯皮里顿;内特·福斯特;古哈，阿琼

NetKAT的快速编译器。 （英语） Zbl 1360.68352号

第20届ACM SIGPLAN功能编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。328-341 (2015).
MSC公司：68N20型 68甲19 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Smolka}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。328--341（2015；Zbl 1360.68352）
全文： 内政部 arXiv公司
托马斯·纳尔逊;杰弗里·贝尔特;杰里米·西克。;伊丽莎白·杰赛普;博亚娜·诺里斯

高性能矩阵代数的可靠生成。 （英语） Zbl 1347.68066号

ACM事务处理。数学。柔和。 第41条第3款第18条第27页（2015年）.
MSC公司：68N20型 65-04 65传真 65日元 65年20月
PDF格式BibTeX公司 XML格式引用
\textit｛T.Nelson｝等人，ACM Trans。数学。柔和。41，第3号，第18条，27页（2015；Zbl 1347.68066）
全文： 内政部 arXiv公司
尼尔·多伦多;杰·麦卡锡;戴维·范霍恩

反向运行概率程序。 （英语） Zbl 1335.68029号

Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，53-79（2015）。
MSC公司：68甲15 68问题55 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{N.Toronto}等人，Lect。注释计算。科学。9032、53--79（2015年；Zbl 1335.68029）
全文： 内政部 arXiv公司
杰里米·吉本斯;尼古拉斯·吴

折叠领域特定语言：深埋和浅埋（功能性珍珠）。 （英语） Zbl 1345.68052号

2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。339-347 (2014).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Gibbons}和\textit{N.Wu}，《第19届ACM SIGPLAN函数式编程国际会议论文集》，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。339--347（2014；Zbl 1345.68052）
全文： 内政部
Alns，Martin s。;安德斯·洛格;克里斯蒂安·加德（Kristian B.lgaard）。;玛丽·罗格内斯（Marie E.Rognes）。;加思·N·威尔斯。

统一形式语言：偏微分方程弱公式的一种特定于域的语言。 （英语） Zbl 1308.65175号

ACM事务处理。数学。柔和。 40，第2号，第9条，37页（2014年）.
MSC公司：65M99型 65N99型 65M60毫米 65N30型 65D25个 68瓦30 68甲15 35J05型 35J25型 6504年
PDF格式BibTeX公司 XML格式引用
\textit{M.S.AlnS}等人，《美国医学杂志》。数学。柔和。40，第2号，第9条，37页（2014；Zbl 1308.65175）
全文： 内政部 arXiv公司
卡罗琳·简·安德森;内特·福斯特;古哈，阿琼;Jeannin、Jean-Baptiste;德克斯特·科赞;科尔·施莱辛格;大卫·沃克

Netkat，网络的语义基础。 （英语） Zbl 1284.68100号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。113-126 (2014).
MSC公司：68甲15 60年第68季度 第68页第15页 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.J.Anderson}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。113-126（2014年；Zbl 1284.68100）
全文： 内政部
埃米尔·阿克塞尔森

嵌入式语言的通用抽象语法模型。 （英语） Zbl 1291.68102号

2012年9月9日至15日在丹麦哥本哈根举行的第17届ACM SIGPLAN功能编程国际会议记录，ICFP’12。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN通知47，第9号，323-334（2012）。
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{E.Axelsson}，in：第17届ACM SIGPLAN函数式编程国际会议论文集，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。323--334（2012年；Zbl 1291.68102）
全文： 内政部
威尔·琼斯;菲尔德，托尼;特里斯坦·奥尔伍德

解除DSL约束。 （英语） Zbl 1291.68104号

2012年9月9日至15日在丹麦哥本哈根举行的第17届ACM SIGPLAN功能编程国际会议记录，ICFP’12。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN Notices 47，No.9，299-310（2012）。
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{W.Jones}等人，in：第17届ACM SIGPLAN函数式编程国际会议论文集，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。299--310（2012年；Zbl 1291.68104）
全文： 内政部
尼古拉斯·塞德马杰尔;迪迪埃·布克斯;史蒂夫·霍斯特特勒;阿尔班·利纳德;埃德蒙多·洛佩斯·博贝达;亚历克西斯·马雷查尔

基因调控机制分析的领域特定语言方法。 （英语） Zbl 1377.92033号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型上的事务》。六、 柏林：施普林格出版社（ISBN 978-3-642-35178-5/pbk）。计算机科学7400课堂讲稿。《期刊副刊》，123-145（2012）。
MSC公司：92C40型
PDF格式BibTeX公司 XML格式引用
\textit{N.Sedlmajer}等人，Lect。注释计算。科学。7400，123--145（2012；Zbl 1377.92033）
全文： 内政部
JoséF·莫拉莱斯。;曼努埃尔五世（Manuel V.Hermenegildo）。;雷米·海默尔

模块化（逻辑）语言的模块化扩展。 （英语） Zbl 1377.68058号

维达尔·格曼（编辑），基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。丹麦欧登塞，2011年7月18日至20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-32210-5/pbk）。计算机科学课堂讲稿7225139-154（2012）。
MSC公司：68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Morales}等人，Lect。注释计算。科学。7225，139--154（2012；Zbl 1377.68058）
全文： 内政部 链接
亚历克桑德拉·安纳托尔·埃夫纳（Aleksandra Anatol'evna）加夫鲁什基纳（Gavryushkina）;莫斯科，阿纳斯塔西娅·谢尔盖耶夫娜

广义算子表示法及其性质。 （俄语。英文摘要） Zbl 1250.68082号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 5，第1期，13-25（2012）.
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Gavryushkina}和\textit{A.S.Moskvina}，Izv。伊尔库茨克。戈斯。州立大学。材料5，编号1，13--25（2012；Zbl 1250.68082）
内特·福斯特;罗伯·哈里森;迈克尔·弗里德曼。;克里斯托弗·孟山都;詹妮弗·雷克斯福德;故事，亚历克;大卫·沃克

Frenetic：一种网络编程语言。 （英语） 兹伯利1323.68114

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN通知46，第9号，279-291（2011）。
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{N.Foster}等人，in：第16届ACM SIGPLAN函数式编程国际会议论文集，2011年9月19日至21日，日本东京。纽约州纽约市：计算机协会（ACM）。279--291（2011；Zbl 1323.68114）
全文： 内政部
迈克尔·哈纳斯

半结构化web数据的声明性处理。 （英语） Zbl 1245.68074号

Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学会议录11，198-208，电子版（2011）。
MSC公司：68第05页 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Hanus}，LIPIcs——莱布尼茨国际程序。通知。11、198--208（2011；Zbl 1245.68074）
全文： 内政部 链接
瑞安·库佩普;费莱森，马蒂亚斯

强化宏。 （英语） Zbl 1323.68106号

2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN Notices 45，No.9，235-246（2010）。
MSC公司：68甲18 68号01
PDF格式BibTeX公司 XML格式引用
\textit{R.Culpiper}和\textit{M.Felleisen}，摘自：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机协会（ACM）。235-246（2010年；Zbl 1323.68106）
全文： 内政部
尼尔·斯卡索普;亨利克·尼尔森

通过依赖类型进行安全的功能反应式编程。 （英语） Zbl 1302.68070号

2009年8月31日至9月2日在英国爱丁堡举行的第14届ACM SIGPLAN功能编程国际会议记录，ICFP'09。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-332-7）。ACM SIGPLAN通知44，第9号，23-34（2009）。
MSC公司：68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Sculthorpe}和\textit{H.Nilsson}，摘自：第14届ACM SIGPLAN函数式编程国际会议论文集，ICFP'09，英国爱丁堡，2009年8月31日至9月2日。纽约州纽约市：计算机协会（ACM）。23-34（2009年；Zbl 1302.68070）
全文： 内政部 链接
尼古拉斯·欧里;沃特·斯威斯特拉

皮的力量。 （英语） Zbl 1323.68145号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN Notices 43，No.9，39-50（2008）。
MSC公司：68甲18 68甲15 68甲19 第68页，共15页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{N.Oury}和\textit{W.Swierstra}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机协会（ACM）。39-50（2008年；Zbl 1323.68145）
全文： 内政部
安妮·E·哈克斯豪森。;简·佩莱斯卡

一种面向域的、基于模型的铁路控制系统构建和验证方法。 （英语） Zbl 1151.68481号

Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，320-348（2007）。
MSC公司：60年第68季度 90B20型 93立方 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Haxthausen}和\textit{J.Peleska}，莱克特。注释计算。科学。4700、320-348（2007年；Zbl 1151.68481）
全文： 内政部
凯萨琳·费希尔;伊扎克·曼德尔鲍姆;大卫·沃克

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

第33届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’06，美国南卡罗来纳州查尔斯顿，2006年1月11日至13日。纽约州纽约市：计算机协会（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）
全文： 内政部
大卫·费希尔;希弗斯，奥林

语法对象的静态分析。 （英语） 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年；兹bl 1321.68124）
全文： 内政部
亨利克·尼尔森

使用广义代数数据类型的函数反应式规划的动态优化。 （英语） Zbl 1302.68189号

2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，54-65（2005）。
MSC公司：68问题65 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{H.Nilsson}，in：第十届ACM SIGPLAN函数编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。54-65（2005；Zbl 1302.68189）
全文： 内政部
埃米尔·帕沙利奇;瓦利德·塔哈;蒂姆·谢尔德

打字语言的无标签分段口译员。 （英语） Zbl 1322.68033号

2002年10月4日至6日在美国宾夕法尼亚州匹兹堡举行的第七届ACM SIGPLAN功能编程国际会议记录，ICFP'02。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-487-8）。ACM SIGPLAN Notices 37，No.9，218-229（2002）。
MSC公司：68甲15 68甲18 68N20型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Pašalić}等人，in：第七届ACM SIGPLAN函数编程国际会议论文集，ICFP'02，匹兹堡，宾夕法尼亚州，美国，2002年10月4-6日。纽约州纽约市：计算机协会（ACM）。218--229（2002年；Zbl 1322.68033）
全文： 内政部
刘英;张乃晓

基于概念的领域特定语言定义。 （英语） 兹比尔1015.68743

George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2495, 237-248 (2002).
MSC公司：68单位99 60年第68季度 68问题55 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}和\textit{N.Zhang}，Lect。注释计算。科学。2495237--248（2002年；Zbl 1015.68743）
全文： 链接
鲍尔，托马斯;克里斯托弗·科尔比;彼得·丹尼尔森;贾加迪桑、拉利塔·贾特冈卡尔;拉德哈·贾加迪桑;康斯坦丁·Läufer;彼得·马塔加;肯尼思·雷霍尔

Sisl：多个接口，单个逻辑。 （英语） Zbl 1060.68661号

国际语音技术杂志。 3，第2期，93-108（1999）.
MSC公司：68单位35 68吨10
PDF格式BibTeX公司 XML格式引用
\textit{T.Ball}等人，《国际语音技术杂志》。3，第2号，93-108（1999年；兹bl 1060.68661）
全文： 内政部
沃尔夫冈·波拉克

实践中的形式化方法。 （英语） Zbl 0958.68105号

Luqi（编辑）等人，1998年ARO/ONR/NSF/DARPA蒙特里计算机系统工程自动化研讨会。1998年10月23日至26日，美国加利福尼亚州卡梅尔。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。25，10 p.，仅电子版（1998年）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{W.Polak}，in：1998年ARO/ONR/NSF/DARPA蒙特里计算机系统工程自动化研讨会。1998年10月23日至26日，美国加利福尼亚州卡梅尔。阿姆斯特丹：爱思唯尔。10页（1998年；Zbl 0958.68105）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件