山口,Masaomi;松田和川;克里斯蒂娜·大卫;王、孟 同步位:使用单向草图合成双向程序。 (英语) Zbl 07815089号 形式方法系统。设计。 61,编号2-3,198-247(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Yamaguchi}等人,《表格方法系统》。设计。61,编号2--3,198--247(2022;Zbl 07815089) 全文: 内政部 arXiv公司 OA许可证
达尼尔·霍帕西;朱迪特·科塞基;Németh,Dávid J。 面向可信程序重构的通用框架。 (英语) Zbl 1524.68090号 《网络学报》。 25,编号4,753-779(2022).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Horpácsi}等人,《网络学报》。25,编号4,753--779(2022;Zbl 1524.68090) 全文: 内政部
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) 全文: 内政部
迪维亚·巴贾杰;马丁·埃尔维格;丹尼尔·费多林;凯·盖伊 适用于程序解释的跟踪。 (英语) 兹比尔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 1522.68148号 正式Asp。计算。 33,编号6,1173-1208(2021).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.de Lara}和\textit{E.Guerra},正式Asp。计算。33,编号6,1173--1208(2021;Zbl 1522.68148) 全文: 内政部
Jaro Hokkanen;斯特凡·科莱特;吉里·克劳斯;安德烈亚斯·赫滕;马库斯·赫鲁尼亚克;德克·普莱特 将HPC加速器架构与现代技术相结合–使用ParFlow在GPU上进行水文建模。 (英语) Zbl 1473.65363号 计算。地质科学。 1579-1590(2021)第5号第25页; 更正同上25,第5号,1591(2021)。MSC公司:65日元10 86-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Hokkanen}等人,计算。地质科学。25,第5号,1579--1590(2021;Zbl 1473.65363) 全文: 内政部
阿莱西奥·德·兰戈;卢卡·富纳里;安德烈亚·佐丹奴;阿方索参议员;多纳托·达安布罗西奥;威廉·斯帕塔罗;萨尔瓦多斯特拉法斯;朱塞佩·门迪奇诺 OpenCAL系统对三维非饱和流Richards方程的扩展和应用。 (英语) Zbl 1524.65005号 计算。数学。申请。 81, 133-158 (2021).MSC公司:65-04 2006年6月65日 76米28 68问题80 6500万08 2005年5月 35问题35 20年第35季度 34A09号 76M20码 76个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.De Rango}等人,计算。数学。申请。81、133--158(2021年;Zbl 1524.65005) 全文: 内政部
拉斐尔·乔利 Scala代数系统的进度报告。 (英语) Zbl 07635836号 Boulier,François(编辑)等人,《科学计算中的计算机代数》。第22届国际研讨会,CASC 2020,奥地利林茨,2020年9月14日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12291, 307-315 (2020).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Jolly},莱克特。注释计算。科学。12291、307--315(2020;Zbl 07635836) 全文: 内政部
本杰明·穆拉德;马蒂奥·奇米尼 系统描述:lang-n-change–转换语言的工具。 (英语) 兹伯利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) 全文: 内政部
法比奥·卢波里尼;马蒂亚斯·卢布托;迈克尔·兰格;纳夫霍特·库克雷加;菲利普·维特;扬·胡克尔海姆;查尔斯·扬特;保罗·H·J·凯利。;费利克斯·赫尔曼。;杰拉德·J·戈尔曼。 Devito的体系结构和性能,一个用于自动模板计算的系统。 (英语) Zbl 1484.65358号 ACM事务处理。数学。柔和。 46,第1号,第6条,28页(2020年).MSC公司:65日元 PDF格式BibTeX公司 XML格式引用 \textit{F.Luporini}等人,ACM Trans。数学。柔和。46,第1号,第6条,第28页(2020年;Zbl 1484.65358) 全文: 内政部 arXiv公司
威廉·罗伯特·桑德斯;詹姆斯·格兰特;穆勒,艾克·赫尔曼;伊恩·汤普森 用于动力学蒙特卡罗模拟的快速静电解算器。 (英语) Zbl 1436.65009号 J.计算。物理学。 410,文章ID 109379,28 p.(2020).MSC公司:65二氧化碳 78M16型 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Saunders}等人,J.Compute。物理。410,文章ID 109379,28 p.(2020;Zbl 1436.65009) 全文: 内政部 arXiv公司
伊斯坦·雷古利。;吉汉·穆达利奇(Gihan R.Mudalige)。 计算流体动力学应用程序的生产力、性能和可移植性。 (英语) Zbl 1519.76002号 计算。流体 199,文章ID 104425,10 p.(2020).MSC公司:76-04 65日元10 76M20码 PDF格式BibTeX公司 XML格式引用 \textit{I.Z.Reguly}和\textit{G.R.Mudalige},计算。Fluids 199,文章ID 104425,10 p.(2020;Zbl 1519.76002) 全文: 内政部 链接
莱昂尼达斯·兰普罗普洛斯;Gallois Wong,戴安;Hriţcu,科特林;约翰·休斯;本杰明·皮尔斯。;夏、李耀 初学者的运气:基于属性的生成器语言。 (英语) Zbl 1380.68096号 Castagna,Giuseppe(ed.)等人,第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。114-129 (2017).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Lampropoulos}等人,载于:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。114-129(2017年;兹bl 1380.68096) 全文: 内政部 arXiv公司
Choi、Woohyuk;洪素敏;郑元基 Vispark:GPU使用Spark加速分布式视觉计算。 (英语) Zbl 1349.68032号 SIAM J.科学。计算。 38,第5号,S700-S719(2016).MSC公司:68米14 65日元10 第68页第19页 68单位10 68岁20岁 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.Choi}等人,SIAM J.Sci。计算。38,第5号,S700-S719(2016;Zbl 1349.68032) 全文: 内政部
萨尔曼Keshishzadeh;阿扬·J·穆伊(Arjan J.Mooij)。 规范并测试DSL转换的一致性。 (英语) Zbl 1342.68046号 正式Asp。计算。 28,第2期,181-206(2016).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Keshishzadeh}和\textit{A.J.Mooij},正式Asp。计算。28,第2号,181--206(2016;Zbl 1342.68046) 全文: 内政部
弗拉德·韦尔古;皮埃尔·内龙;埃尔科·维瑟 DynSem:用于动态语义规范的DSL。 (英语) 兹伯利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年;兹比尔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) 全文: 内政部
宽,利迪亚;佩德罗·托马斯;莱昂内尔·索萨 CUDA和OpenCL上时域可伸缩实现的有限差异。 (英语) Zbl 1322.78016号 Kindratenko,Volodymyr(编辑),GPU的数值计算。查姆:施普林格(ISBN 978-3-319-06547-2/hbk;978-3-3169-06548-9/电子书)。223-242 (2014).MSC公司:78M20型 65日元10 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuan}等人,in:使用GPU进行数值计算。查姆:施普林格。223--242(2014;Zbl 1322.78016) 全文: 内政部
查尔斯·普鲁德霍姆;泽维尔·洛卡;雷米·杜伦斯;纳伦德拉·尤西恩 使用领域特定语言的传播引擎原型。 (英语) Zbl 1316.90041号 限制条件 19,第1期,57-76(2014).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Prud'homme}等人,《限制条件》第19卷,第1期,第57--76页(2014年;Zbl 1316.90041) 全文: 内政部 哈尔
罗兰·埃瓦尔德;阿德琳德·M·乌尔马赫。 SESSL:用于模拟实验的特定于域的语言。 (英语) Zbl 1322.65025号 ACM事务处理。模型。计算。模拟。 24,第2号,第11条,第25页(2014年).MSC公司:65 C50 60-08 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{R.Ewald}和\textit{A.M.Uhrmacher},ACM Trans。模型。计算。模拟。24,第2号,第11条,第25页(2014;Zbl 1322.65025) 全文: 内政部
Alns,Martin s。;安德斯·洛格;克里斯蒂安·B·奥尔加德。;玛丽·罗格内斯(Marie E.Rognes)。;加思·N·威尔斯。 统一形式语言:偏微分方程弱公式的一种特定于域的语言。 (英语) Zbl 1308.65175号 ACM事务处理。数学。柔和。 40,第2号,第9条,37页(2014年).MSC公司:65米99 65N99型 65M60毫米 65N30型 65D25个 68瓦30 68甲15 35J05型 35J25型 6504年 PDF格式BibTeX公司 XML格式引用 \textit{M.S.AlnS}等人,《美国医学杂志》。数学。柔和。40,第2号,第9条,37页(2014;Zbl 1308.65175) 全文: 内政部 arXiv公司
丹尼尔·迪·彼得罗(Daniele A.Di Pietro)。;格栅,Jean-Marc;克里斯托夫·普鲁德霍姆 C++中的一种特定于域的嵌入式语言,用于一般网格上扩散问题的最低阶离散化。 (英语) Zbl 1262.65148号 比特币 53,编号111-152(2013).MSC公司:65号08 65N30型 35J25型 65号06 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Di Pietro}等人,BIT 53,No.1,111--152(2013;Zbl 1262.65148) 全文: 内政部
姜涛;王欣 基于领域元建模语言形式化的元模型一致性验证研究。 (英语) Zbl 1283.68209号 上海交通大学。 17,第2期,171-177(2012).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Jiang}和\textit{X.Wang},J.上海交通大学,科学。17、编号2、171--177(2012;Zbl 1283.68209) 全文: 内政部
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)
安努列夫,I.S。 分析和验证命令程序的综合方法。 (英语) Zbl 1374.68268号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 32, 1-18 (2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。32、1-18(2011年;Zbl 1374.68268) 全文: 链接
丹尼尔·迪·彼得罗(Daniele A.Di Pietro)。;格栅,Jean-Marc 一般网格上扩散问题的最低阶方法:定义和实现的统一方法。 (英语) Zbl 1246.65261号 Fořt,Jaroslav(ed.)等人,《复杂应用的有限体积VI:问题与展望》。FVCA 6,国际研讨会,捷克共和国布拉格,2011年6月6日至10日。第1卷和第2卷。柏林:施普林格出版社(ISBN 978-3-642-20670-2/hbk;978-3-442-20671-9/电子书)。《施普林格数学学报》4,803-819(2011)。MSC公司:65岁99岁 65号08 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Di Pietro}和\textit{J.-M.Graten},Springer Proc。数学。4803--819(2011;Zbl 1246.65261) 全文: 内政部 哈尔
马尔扬·默尼克;德扬·赫尼奇;巴雷特·R·布莱恩特。;法桑·贾维德 语法推理在软件工程中的应用:特定领域的语言开发。 (英语) Zbl 1226.68030号 Martín-Vide,Carlos(编辑),语言方法的科学应用。伦敦:帝国理工学院出版社(ISBN 978-1-84816-544-1/hbk;978-1-848 16-545-8/电子书)。数学、计算、语言和生活:数学语言学和语言理论的前沿2,421-457(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Mernik}等人,《数学》。计算。语言生活:正面。数学。语言学家。兰格·提奥。2421-457(2011年;Zbl 1226.68030)
杰拉德·米歇尔斯;塞巴斯蒂安·乔斯顿;雅普·范德沃德;斯特夫·乔斯顿 安培数。在实践中应用关系代数。 (英语) Zbl 1329.68066号 哈里·德·斯瓦特(编辑),《计算机科学中的关系和代数方法》。2011年5月30日至6月3日,荷兰鹿特丹,RAMICS 2011第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21069-3/pbk)。计算机科学讲座笔记6663280-293(2011)。MSC公司:68甲18 03G15年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Michels}等人,Lect。注释计算。科学。6663280-293(2011年;Zbl 1329.68066) 全文: 内政部
黄珊珊;大卫·佐克;亚尼斯·斯马拉格达基斯 使用SafeGen生成静态安全的程序。 (英语) Zbl 1215.68054号 科学。计算。程序。 76,第5期,376-391(2011).MSC公司:68甲15 68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Huang}等人,科学。计算。程序。76,第5号,376--391(2011;Zbl 1215.68054) 全文: 内政部
泽夫·赫梅尔;Danny M.Groenewegen。;Lennart C.L.Kats。;埃尔科·维瑟 使用WebDSL对web应用程序进行静态一致性检查。 (英语) Zbl 1215.68053号 J.塞姆。计算。 46,第2期,150-182(2011).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hemel}等人,J.Symb。计算。46,第2号,150--182(2011;Zbl 1215.68053) 全文: 内政部 链接
安努列夫,I.S。 原子语言简介。 (英语) Zbl 1374.68267号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 1-16 (2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。31,1-16(2010年;兹bl 1374.68267) 全文: 链接
约翰内斯·鲁道夫;彼得·蒂曼 记忆法:在运行时生成类型安全的字节码。 (英语) Zbl 1234.68055号 高-订购符号。计算。 23,第3期,371-407(2010).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Rudolph}和\textit{P.Thiemann},高-订购符号。计算。23,第3号,371--407(2010;Zbl 1234.68055) 全文: 内政部
埃德温·布雷迪;凯文·哈蒙德 正确构造并发:使用依赖类型验证有效资源使用协议的实现。 (英语) Zbl 1217.68055号 芬达姆。通知。 102,第2期,145-176(2010).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.Brady}和\textit{K.Hammond},Fundam。通知。102,第2号,145--176(2010;Zbl 1217.68055) 全文: 内政部
伊拉扎巴尔、杰罗尼莫;克劳迪娅·蓬斯;尼尔、卡洛斯 模型转换是实现领域特定转换语言的一种机制。 (英语) Zbl 1213.68220号 电子。J.萨迪奥 9,第1号,46-66(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Irazábal}等人,《电子》。J.SADIO 9,No.1,46--66(2010;Zbl 1213.68220)
穆哈、努埃尔;Guéhéneuc,扬恩·盖尔;Anne-Françoise Le Meur;劳伦斯·杜希恩;阿尔班·提伯根 从领域分析到代码和设计气味的规范和检测。 (英语) Zbl 1209.68142号 正式Asp。计算。 22,编号3-4,345-361(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Moha}等人,正式Asp。计算。22,编号3--4,345--361(2010;Zbl 1209.68142) 全文: 内政部 链接
D.巴利斯。;A.巴鲁佐。;M.科米尼。 根据UML模型匹配软件模式的基于规则的方法。 (英语) Zbl 1286.68305号 Visser,Joost(编辑)等人,第八届基于规则的编程国际研讨会论文集(rule 2007),法国巴黎,2007年6月29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记219,51-66(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ballis}等人,电子。理论注释。计算。科学。219、51-66(2008年;Zbl 1286.68305) 全文: 内政部
伯恩德·马蒂斯克;道格·西蒙;戴夫·恩加 面向Java(^{text{TM}})程序员的汇编程序和反汇编程序框架。 (英语) Zbl 1140.68352号 科学。计算。程序。 70,编号2-3,127-148(2008).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Mathiske}等人,科学。计算。程序。70,编号2--3,127-448(2008;Zbl 1140.68352) 全文: 内政部
凯萨琳·费希尔;伊扎克·曼德尔鲍姆;大卫·沃克 接下来的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) 全文: 内政部
大卫·费希尔;希弗斯,奥林 语法对象的静态分析。 (英语) 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) 全文: 内政部
张宏宇;杰里米·布拉德伯里。;詹姆斯·科迪。;朱尔根·丁格尔 使用源代码转换测试和模型检查隐式调用系统。 (英语) Zbl 1100.68588号 科学。计算。程序。 62,第3期,209-227(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}等人,科学。计算。程序。62,第3号,209--227(2006;Zbl 1100.68588) 全文: 内政部
奥伦德,K。 多维数组的爱因斯坦求和。 (英语) Zbl 1041.68023号 计算。数学。申请。 44,第8-9号,1007-1017(2002).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{K.奥伦德},计算。数学。申请。44,编号8--9,1007--1017(2002;Zbl 1041.68023) 全文: 内政部
刘、应;张乃晓 基于概念的领域特定语言定义。 (英语) Zbl 1015.68743号 George,Chris(ed.)等人,《形式方法与软件工程》,第四届形式工程方法国际会议,2002年ICFEM,中国上海,2002年10月21日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2495, 237-248 (2002).MSC公司:68单位99 60年第68季度 68问题55 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}和\textit{N.Zhang},Lect。注释计算。科学。2495237--248(2002年;Zbl 1015.68743) 全文: 链接
阿里·范·德乌森;保罗·克林特 特定领域的语言设计需要功能描述。 (英语) Zbl 1019.68015号 J.计算。技术信息。10,第1期,第1-17页(2002年)。MSC公司:68甲15 PDF格式BibTeX公司 XML格式 全文: 内政部
帕特里夏·约翰;埃尔科·维瑟 Stratego中的热融合:程序转换系统生成的案例研究。 (英语) Zbl 1014.68034号 安。数学。Artif公司。智力。 29,编号1-4,1-34(2000).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{E.Visser},Ann.Math。Artif公司。智力。29,编号1--4,1-34(2000;Zbl 1014.68034) 全文: 内政部
安德斯·Bkgaard Sandholm 编程语言:设计、分析和语义。 (英语) Zbl 0982.68032号 奥胡斯:奥胡斯大学科学学院,xiv,233 p.(2000)。MSC公司:68甲15 68-02 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bkgaard Sandholm},《编程语言:设计、分析和语义》。奥胡斯:奥胡斯大学科学院(2000;Zbl 0982.68032)
Štuikys,维塔塔斯;吉德利乌斯·齐贝卡斯;罗伯塔斯·达马舍维奇 以语言为中心的程序生成器模型:3L范式。 (英语) Zbl 0970.68573号 维尔纽斯Informatica 11,第3期,325-348(2000).MSC公司:68单位99 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Štuikys}等人,Informatica,维尔纽斯11,No.3,325--348(2000;Zbl 0970.68573)
Štuikys,维塔塔斯;罗伯塔斯·达马舍维奇 脚本语言打开PROMOL及其处理器。 (英语) Zbl 0969.68607号 维尔纽斯Informatica 11,第1期,71-86(2000).MSC公司:68单位99 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.Štuikys}和\textit{R.Damaševičius},Informatica,维尔纽斯11号,第1期,第71-86页(2000;Zbl 0969.68607)
斯图亚特·安德森;康斯坦蒂诺斯·图拉斯 证明设计:一种特定领域语言的设计方法。 (英语) Zbl 0951.68528号 正式Asp。计算。 10,编号5-6,452-468(1998).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anderson}和\textit{K.Tourlas},正式Asp。计算。10,编号5--6,452--468(1998;Zbl 0951.68528) 全文: 内政部