帕特里克·巴尔 Modal FRP for all：Haskell中没有空间泄漏的功能反应式编程。 （英文） Zbl 07697866号 J.功能。程序。 32，论文编号e15，48 p.（2022）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Bahr}，J.Funct。程序。32，论文编号e15，48 p.（2022；Zbl 07697866） 全文： 内政部
丹尼斯·马尔佐拉蒂;华金·费尔南德斯;埃内斯托·科夫曼 基于方程的面向对象模型中的高效连接处理。 （英文） Zbl 1510.68014号 申请。数学。计算。 418，文章ID 126842，19 p.（2022）.MSC公司：68N20型 第68页第19页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Marzorati}等人，应用。数学。计算。418，文章ID 126842，19页（2022；Zbl 1510.68014） 全文： 内政部
李佳佳;田欣;魏国良 有界逗留时间的切换大系统的异步部分模式相关控制。 （英文） Zbl 1510.93132号 申请。数学。计算。 418，文章ID 126809，15 p.（2022）.MSC公司：93立方 93E15型 93B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，应用。数学。计算。418，文章ID 126809，15页（2022；Zbl 1510.93132） 全文： 内政部
阿雷拉诺·加西亚，玛丽亚·埃瓦里斯塔;JoséAriel的Camacho-Gutiérrez;Solorza Calderón，塞琳 生态社区管理中高阶交互检测的机器学习方法。 （英文） Zbl 1510.92152号 申请。数学。计算。 411，文章ID 126499，17 p.（2021）.MSC公司：第92天25分 62H30型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Arellano-García}等人，应用。数学。计算。411，文章ID 126499，第17页（2021；Zbl 1510.92152） 全文： 内政部
埃内斯托·科夫曼;约阿昆·费尔南德斯;丹尼斯·马尔佐拉蒂 大型ODE系统中的紧凑稀疏符号雅可比运算。 （英文） 兹比尔1510.65113 申请。数学。计算。 403，文章ID 126181，18 p.（2021）; 更正同上，406，文章ID 126290，1 p.（2021）。MSC公司：65J99型 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Kofman}等人，应用。数学。计算。403，文章ID 126181，18 p.（2021；Zbl 1510.65113） 全文： 内政部
康斯坦蒂诺斯·马穆拉斯 确定性数据流和流处理的语义基础。 （英文） Zbl 1508.68069号 Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075394-427（2020年）。MSC公司：68号30 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras}，莱克特。注释计算。科学。12075、394--427（2020年；Zbl 1508.68069） 全文： 内政部
詹姆斯·克利夫;丹尼尔·穆费特 无余余代数和微分线性逻辑。 （英文） Zbl 1495.03075号 数学。结构。计算。科学。 30，第4期，416-457（2020年）.MSC公司：03楼52 03B40型 18米45 PDF格式BibTeX公司 XML格式引用 \textit{J.Clift}和\textit{D.Murfet}，数学。结构。计算。科学。30，第4号，416--457（2020；Zbl 1495.03075） 全文： 内政部 arXiv公司
施韦格，G。;尼尔森，H。;肖格尔，J。;W·伯克。;A.波什。 大规模系统的建模与仿真：建模范式的系统比较。 （英文） Zbl 1433.93003号 申请。数学。计算。 365，文章ID 124713，14 p.（2020）.MSC公司：93-10 PDF格式BibTeX公司 XML格式引用 \textit{G.Schweiger}等人，应用。数学。计算。365，文章ID 124713，14 p.（2020；Zbl 1433.93003） 全文： 内政部 arXiv公司
拉斐尔·卡巴列罗;恩里克·马丁·马汀;阿德里安·里斯科;萨尔瓦多塔马利特 用于声明性调试的核心Erlang语义。 （英文） Zbl 1431.68016号 J.日志。阿尔盖布。方法计划。 107, 1-37 (2019).MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人，J.Log。阿尔盖布。方法程序。107，1--37（2019年；Zbl 1431.68016） 全文： 内政部
大卫·英莎;乔塞普·席尔瓦 算法调试概述。 （英文） Zbl 1395.68094号 J.日志。阿尔盖布。方法计划。 97，85-104（2018）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Insa}和\textit{J.Silva}，J.Log。阿尔盖布。方法程序。97、85——104（2018；Zbl 1395.68094） 全文： 内政部 链接
安德烈亚斯·亚贝尔;斯蒂芬·阿德尔斯伯格;安东·塞泽尔 Agda中的交互式编程–对象和图形用户界面。 （英文） Zbl 1418.68031号 J.功能。程序。 27，论文编号e8，54 p.（2017）.MSC公司：68甲18 68吨15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人，J.Funct。程序。27，论文编号e8，54 p.（2017；Zbl 1418.68031） 全文： 内政部
大卫·英莎;乔塞普·席尔瓦 算法调试的通用模型。 （英文） Zbl 1473.68045号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 261-276 (2015).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Insa}和\textit{J.Silva}，莱克特。注释计算。科学。9527、261--276（2015年；Zbl 1473.68045） 全文： 内政部 链接
陈燕;乔舒亚·邓菲尔德;马修·哈默（Matthew A.Hammer）。;阿卡尔（Umut A.Acar）。 纯函数程序的隐式自调整计算。 （英文） Zbl 1297.68046号 J.功能。程序。 24，第1期，56-112（2014）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人，J.Funct。程序。24，第1号，第56-112条（2014；Zbl 1297.68046） 全文： 内政部
约翰·卡珀;亨利克·尼尔森 方程组的结构类型：结构动态一级模块方程组的类型改进。 （英文） Zbl 1360.68317号 高-订购符号。计算。 25，编号2-4，275-310（2012）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Capper}和\textit{H.Nilsson}，高-订购符号。计算。25，编号2--4，275--310（2012；Zbl 1360.68317） 全文： 内政部
阿德里安·里斯科;阿尔贝托·维尔德乔;马丁·奥列特，纳西索;拉斐尔·卡巴列罗 重写逻辑规范的声明性调试。 （英文） Zbl 1279.68220号 J.日志。阿尔盖布。程序。 81，编号7-8851-897（2012）.MSC公司：60年第68季度 03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人，J.Log。阿尔盖布。程序。81、编号7--8、851--897（2012；Zbl 1279.68220） 全文： 内政部
尼尔·斯卡索普;亨利克·尼尔森 面对变化保持冷静。通过推理变化来优化FRP。 （英文） Zbl 1232.68027号 高-订购符号。计算。 23，第2期，227-271（2010）.MSC公司：68甲18 第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}和\textit{H.Nilsson}，高-订购符号。计算。23，第2号，227--271（2010；Zbl 1232.68027） 全文： 内政部
拉斐尔·卡巴列罗;马丁·奥列特，纳西索;阿德里安·里斯科;阿尔贝托·维尔德乔 Maude功能模块的声明式调试器。 （英文） Zbl 1347.68073号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，63-81（2009）。MSC公司：68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人，《电子》。注释Theor。计算。科学。238，第3号，63-81（2009年；兹bl 1347.68073） 全文： 内政部
拉斐尔·德尔瓦多·维塞达 用于在声明性约束编程中调试的逻辑框架。 （英文） Zbl 1291.68151号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第四次研讨会论文集》（LSFA 2009），巴西巴西利亚，2009年8月28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记256，119-135（2009）。MSC公司：68号30 68N17号 68甲18 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.del Vado Vírseda}，电子。注释Theor。计算。科学。256119-135（2009年；Zbl 1291.68151） 全文： 内政部
艾德里安·里斯科;阿尔贝托·维尔德乔;拉斐尔·卡巴列罗;马丁·奥列特，纳西索 重写逻辑规范的声明性调试。 （英文） Zbl 1253.68097号 Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，308-325（2009）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人，Lect。注释计算。科学。5486、308--325（2009年；Zbl 1253.68097） 全文： 内政部
杰弗里·马克·西斯金德;巴拉克·A·皮尔默特。 在功能框架中嵌套转发模式AD。 （英文） Zbl 1175.68104号 高-订购符号。计算。 21，第4期，361-376（2008）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Siskind}和\textit{B.A.Pearlmutter}，高-订购符号。计算。21，第4号，361--376（2008；Zbl 1175.68104） 全文： 内政部 链接
克里斯蒂安·比肖夫。;保罗·D·霍夫兰。;博亚纳诺里斯 关于自动区分工具的实现。 （英文） Zbl 1168.65324号 高-订购符号。计算。 第311-331号第21页（2008年）.MSC公司：65D25个 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Bischof}等人，高-订购符号。计算。21，第3号，311--331（2008；Zbl 1168.65324） 全文： 内政部
拉斐尔·卡巴列罗;马丁·奥列特，纳西索;阿德里安·里斯科;阿尔贝托·维尔德乔 成员关系等式逻辑规范的声明性调试。 （英文） 兹比尔1143.68363 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065174-193（2008）。MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛R.Caballero｝等人，Lect。注释计算。科学。5065174--193（2008年；Zbl 1143.68363） 全文： 内政部