文件大小：0.6 MB 15页
交互机器的动态几何：一种按需调用的图形重写器
作者
-
部分： 体积： 第26届EACSL计算机科学逻辑年会（CSL 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-08-16
文件
文件标识符
引用为 获取BibTex
摘要
关键词
相互作用几何 成本分析 减少呼叫需求
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
贝尼亚米·阿卡托利。 抽象机器的复杂性。 在WPTE 2016中，EPTCS第235卷，2017年第1-15页。 
-
贝尼亚米·阿卡托利、巴勃罗·巴伦鲍姆和达米亚诺·马扎。 蒸馏抽象机。 ICFP 2014，第363-376页。 ACM，2014年。
-
乌戈·达尔·拉戈（Ugo Dal Lago）、克劳迪娅·法根（Claudia Faggian）、贝诺·瓦利昂（Benoêt Valiron）和阿基拉·吉咪祖（Akira Yoshimizu）。 无限上下文中的并行性和同步。 LICS 2015，第559-572页。 IEEE，2015年。
-
乌戈·达尔·拉戈（Ugo Dal Lago）、克劳迪娅·法根（Claudia Faggian）、贝诺·瓦利昂（Benoêt Valiron）和阿基拉·吉咪祖（Akira Yoshimizu）。 平行几何：经典、概率和量子效应。 POPL 2017，第833-845页。 ACM，2017年。
-
乌戈·达尔·拉戈和马尔科·加博阿迪。 线性相关类型和相对完整性。 在LICS 2011中，第133-142页。 IEEE计算机学会，2011年。
-
乌戈·达尔·拉戈和芭芭拉·佩蒂特。 按值调用场景中的线性相关类型。在PPDP 2012中，第115-126页。 ACM，2012年。
-
Ugo Dal Lago和Ulrich Schöpp。 空间函数编程的交互计算。 信息计算。， 248:150-194, 2016.
-
文森特·达诺斯（Vincent Danos）和劳伦特·雷格尼尔（Laurent Regnier）。 本地和异步贝塔缩减（Girard执行公式分析）。 LICS 1993，第296-306页。 IEEE计算机学会，1993年。
-
文森特·达诺斯（Vincent Danos）和劳伦特·雷格尼尔（Laurent Regnier）。 可逆、不可逆和最佳λ机器。 选举。 Theor中的注释。 公司。 科学。， 3:40-60, 1996.
-
奥利维尔·丹维和伊恩·泽尼。 呼叫需求评估的综合操作说明。 在PPDP 2013中，第97-108页。 ACM，2013年。
-
玛丽贝尔·费尔南德斯和伊恩·麦基。 调用-值lambda-graph重写而不重写。 在ICGT 2002中，LNCS第2505卷，第75-89页。 斯普林格，2002年。
-
丹·吉卡（Dan R.Ghica）。 合成几何：VLSI设计的结构化方法。 在POPL 2007中，第363-375页。 ACM，2007年。
-
Dan R.Ghica和Alex Smith。 综合几何III：通过类型推理进行资源管理。 在POPL 2011中，第345-356页。 ACM，2011年。
-
Dan R.Ghica、Alex Smith和Satnam Singh。 合成几何IV：将仿射递归编译成静态硬件。 在ICFP中，第221-233页，2011年。
-
吉恩·伊夫·吉拉德。 线性逻辑。 西奥。 公司。 科学。， 50:1-102, 1987.
-
吉恩·伊夫·吉拉德。 交互几何I：系统F的解释。1988年逻辑学术讨论会，《逻辑与发现研究》第127卷。 数学。， 第221-260页。 爱思唯尔，1989年。
-
细野直彦（Naohiko Hoshino）、村上孝子（Koko Muroya）和哈朔一郎（Ichiro Hasuo）。 交互作用的记忆几何：从联合成分到代数效应。 CSL-LICS 2014，第52:1-52:10页。 ACM，2014年。
-
伊恩·麦基。 交互机器的几何。 POPL 1995，第198-208页。 ACM，1995年。
-
罗宾·米尔纳。 通信和并发。 计算机科学PHI系列。 普伦蒂斯·霍尔，1989年。
-
Koko Muroya和Dan R.Ghica。 交互机器的动态几何：一个可调用的图形重写器。 CoRR，arXiv:1703.100272017年。 网址： https://arxiv.org/abs/1703.10027 . -
Muroya Koko、Hoshino Naohiko和Hasuo Ichiro。 交互的记忆几何II：递归和充分性。 在POPL 2016中，第748-760页。 ACM，2016年。
-
乌尔里希·舍尔（Ulrich Schöpp.）。 计算与效果的交互。 2011年APLAS，Lect第7078卷。 票据构成。 科学。， 第305-321页。 施普林格，2011年。
-
乌尔里希·舍尔（Ulrich Schöpp.）。 用于交互的基本逻辑中的按值调用。 2014年APLAS，Lect第8858卷。 票据构成。 科学。， 第428-448页。 斯普林格，2014年。
-
乌尔里希·舍尔（Ulrich Schöpp.）。 使用高级类型组织低级程序。 在PPDP 2014中，第199-210页。 ACM，2014年。
-
弗朗索瓦·雷吉斯·西诺。 按名称调用和按值调用作为令牌传递交互网络。 在TLCA 2005中，Lect第3461卷。 票据组成。 科学。， 第386-400页。 斯普林格，2005年。
-
弗朗索瓦·雷吉斯·西诺。 令牌传递网中的按需呼叫。 数学。 结构。 在Comp。 科学。， 16(4):639-666, 2006.