文件大小：0.67 MB 6页
通过折现法进行摊销分析（早期想法）
作者
哈里森·格罗丁 
,
罗伯·哈波
-
部分： 体积： 第十届计算机科学代数和余代数会议（CALCO 2023）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学代数和余代数会议（CALCO） 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2023-09-02
文件
文件标识符
作者详细信息
致谢
引用为 获取BibTex
摘要
受试者分类
ACM科目分类
计算理论 → 类型理论 计算理论 → 逻辑和验证 软件及其工程 → 函数式语言 计算理论 → 程序推理 计算理论 → 范畴语义
关键词
摊销分析 造币术 数据结构 机械化证明
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
安德烈亚斯·阿贝尔（Andreas Abel）、布里吉特·皮恩特卡（Brigitte Pientka）、大卫·蒂博多（David Thibodeau）和安东·塞泽尔（Anton Setzer）。 共同模式：通过观察编程无限结构。 ACM SIGPLAN通知，48（1）：27-382013年1月。 网址： https://doi.org/10.1145/2480359.2429075 . -
阿德里亚娜·巴兰和亚历山大·库兹。 关于代数上的余代数。 理论计算机科学电子笔记，264（2）：47-622010年8月。 网址： https://doi.org/10.1016/j.entcs.2010.07.013 . -
F.沃伦·伯顿。 FIFO队列的高效功能实现。 信息处理快报，14（5）：205-2061982年7月。 网址： https://doi.org/10.1016/0020-0190 (82)90015-1 . -
威廉·库克。 面向对象编程与抽象数据类型。 在J.W.de Bakker、W.P.de Roever和G.Rozenberg，编辑，面向对象语言基础，计算机科学讲义，第151-178页，柏林，海德堡，1991年。 施普林格。 网址： https://doi.org/10.1007/BFb0019443 . -
威廉·R·库克。 关于理解数据抽象，请重新访问。 《第24届ACM SIGPLAN面向对象编程系统语言和应用会议论文集》，OOPSLA’09，第557-572页，美国纽约州纽约市，2009年10月。 计算机协会。 网址： https://doi.org/10.1145/1640089.1640133 . -
约瑟夫·卡特勒（Joseph W.Cutler）、丹尼尔·李卡塔（Daniel R.Licata）和诺曼·丹纳（Norman Danner）。 用于摊销分析的表示循环提取。 ACM程序设计语言会议录，4（ICFP）：97:1-97:292020年8月。 网址： https://doi.org/10.1145/3408979 . -
尼尔斯·安德斯·丹尼尔森。 纯函数数据结构的轻量级半形式时间复杂性分析。 ACM SIGPLAN通知，43（1）：133-1442008年1月。 网址： https://doi.org/10.1145/1328897.1328457 . -
诺曼·丹纳、丹尼尔·李卡塔和拉米亚·拉米亚。 具有归纳类型的函数式语言的表示代价语义。 《第20届ACM SIGPLAN功能编程国际会议论文集》，ICFP 2015，第140-151页，美国纽约州纽约市，2015年8月。 计算机协会。 网址： https://doi.org/10.1145/2784731.2784749 . -
杰夫·艾格（Jeff Egger）、拉斯穆斯·埃杰莱斯·莫格伯格（Rasmus Ejelles Mögelberg）和亚历克斯·辛普森（Alex Simpson）。 用线性类型丰富效果微积分。 Erich Grädel和Reinhard Kahle主编，《计算机科学逻辑》，计算机科学讲义，第240-254页，柏林，海德堡，2009年。 施普林格。 网址： https://doi.org/10.1007/978-3-642-04027-6_19 . -
大卫·格里斯。 编程科学。 纽约施普林格，1989年4月。 
-
罗伯特·胡德和罗伯特·梅尔维尔。 纯LISP中的实时队列操作。 信息处理快报，13（2）：50-541981年11月。 网址： https://doi.org/10.1016/0020-0190 (81)90030-2 . -
巴特·雅各布斯。 Mongruence和无余余代数。 V.S.Alagar和Maurice Nivat，《代数方法论和软件技术》编辑，《计算机科学讲义》，第245-260页，柏林，海德堡，1995年。 施普林格。 网址： https://doi.org/10.1007/3-540-60043-4_57 . -
巴特·雅各布斯。 对象和类，共代数。 编辑：Burkhard Freitag、Cliff B.Jones、Christian Lengauer和Hans-Jörg Schek，《面向对象的并行性和持久性》，《Kluwer工程与计算机科学国际丛书》，第83-103页。 Springer US，马萨诸塞州波士顿，1996年。 网址： https://doi.org/10.1007/978-1-4613-1437-0_5 . -
Shin-ya Katsumata、Exequiel Rivas和Tarmo Uustalu。 Monad和Comonads的相互作用定律。 第35届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS’20，第604-618页，美国纽约州纽约市，2020年7月。 计算机协会。 网址： https://doi.org/10.1145/3373718.3394808 . -
G.A.Kavvos、Edward Morehouse、Daniel R.Licata和Norman Danner。 通过按调用值对函数程序进行递归提取。 美国计算机学会程序设计语言会议记录，4（POPL）：2019年12月15:1-15:31。 网址： https://doi.org/10.1145/3371083 . -
格雷戈里·麦克斯韦尔·凯利。 丰富范畴理论的基本概念。 CUP档案馆，1982年2月。
-
保罗·布莱恩·利维。 Call-By-Push-Value：功能性/强制性综合。 施普林格荷兰，多德雷赫特，2003年。 网址： http://link.springer.com/10.1007/978-94-007-0954-6 ，URL： https://doi.org/10.1007/978-94-007-0954-6 . -
Yue Niu、Jon Sterling、Harrison Grodin和Robert Harper。 calf:一个成本软件逻辑框架。URL: https://github.com/jonsterling/agda-calf . -
岳牛、乔纳森·斯特林、哈里森·格罗丁和罗伯特·哈珀。 成本意识逻辑框架。《美国计算机学会编程语言会议记录》，6（POPL）：2022年1月9日至9日31日。 网址： https://doi.org/10.1145/3498670 . -
克里斯·冈崎（Chris Okasaki）。 纯功能数据结构。 卡内基梅隆大学博士论文，1996年。 网址： https://doi.org/10.1007/3-540-61628-4_5 . -
戈登·普洛金和约翰·鲍尔。 操作语义的模拟模型和模型张量。 理论计算机科学电子笔记，218:295-3112008年10月。 网址： https://doi.org/10.1016/j.entcs.2008.10.018 . -
约翰·鲍尔和奥哈·什卡拉夫斯卡。 从Comodels到Coalgebras：状态和数组。 理论计算机科学电子笔记，106:297-3142004年12月。 网址： https://doi.org/10.1016/j.entcs.2004.02.041 . -
Robert Endre Tarjan，《摊销计算复杂性》。 SIAM代数离散方法期刊，6（2）：306-3181985年4月。 网址： https://doi.org/10.1137/0606031 . -
D.Turi和G.Plotkin。 面向数学操作语义。 1997年6月，第十二届IEEE计算机科学逻辑研讨会论文集，第280-291页。 网址： https://doi.org/10.1109/LICS.1997.614955 .