专栏首页arxiv.org翻译专栏coFJ中的声音正则共现(CS PL)
原创

coFJ中的声音正则共现(CS PL)

本文的目的是为本机支持循环数据结构的创建和操作的编程范式提供坚实的基础。为此,我们描述了coFJ,它是一种类似Java的微积分,其中对象可以是无限的,方法配备了一个codefinition(另一种主体)。我们提出了一个抽象的微积分语义学,它是基于一个具有球的推理系统框架。在具有这种语义的coFJ中,有限对象上的FJ递归方法也可以扩展到无限对象,并通过指定一个codefinition来按照程序员的要求进行操作。我们还描述了一种可直接在编程语言中实现的操作语义,并证明了这种语义相对于抽象语义的合理性。

原文标题:Sound Regular Corecursion in coFJ

原文:The aim of the paper is to provide solid foundations for a programming paradigm natively supporting the creation and manipulation of cyclic data structures. To this end, we describe coFJ, a Java-like calculus where objects can be infinite and methods are equipped with a codefinition (an alternative body). We provide an abstract semantics of the calculus based on the framework of inference systems with corules. In coFJ with this semantics, FJ recursive methods on finite objects can be extended to infinite objects as well, and behave as desired by the programmer, by specifying a codefinition. We also describe an operational semantics which can be directly implemented in a programming language, and prove the soundness of such semantics with respect to the abstract one.

原文作者:Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca

原文地址:https://arxiv.org/abs/2005.14085

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 环境反向散射通信中断性能研究(CS)

    环境反向散射通信(AmBackComs)被认为是物联网的一种频谱和节能技术,因为它允许被动反向散射设备(BDs)将其信息调制成传统信号,例如蜂窝信号,并将它们反...

    蔡秋纯
  • 私有双终端假设检验(CS IT)

    我们研究带有简单假设的私有两终端假设测试,其中的隐私目标是确保在告知用户正确的假设时,参与测试协议的用户不会透露有关其他用户观察的其他信息。结果显示,通常,如果...

    蔡秋纯
  • 个性化推荐系统中Stackelberg信令及其对接收者信任的影响(CS)

    推荐系统依赖于许多智能技术(如机器学习),这些技术由于缺乏隐私和责任、偏见及其固有的设计复杂性等问题而引起了可信度问题。由于缺乏对推荐系统工作原理的理解,用户通...

    蔡秋纯
  • WPF Applications Stop Responding to Touches after Adding or Removing Tablet Devices

    2018-08-15 07:42

    walterlv
  • 耳面部外科应用的RCM新机制(CS RO)

    由于中耳或鼻窦腔的插入区域非常狭窄,内窥镜的活动性降低为围绕虚拟点旋转和平移以插入相机。本文首先介绍了从三维扫描中获得的这些区域的解剖结构,然后介绍了一种基于敏...

    时代在召唤
  • NSURLSession 所有的都在这里(一)

    Mr.RisingSun
  • SAP CRM Fiori应用如何启用Sales Office和Sales Group两个字段

    In CRM WebUI, the sales area of a given opportunity consists of the following fi...

    Jerry Wang
  • HDUOJ-----Robot Motion

    Robot Motion Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768...

    Gxjun
  • Codeforces 706B Interesting drink

    B. Interesting drink time limit per test:2 seconds memory limit per test:256 meg...

    Angel_Kitty
  • Writing device drivers in Linux: A brief tutorial

    “Do you pine for the nice days of Minix-1.1, when men were men and wrote their o...

    RainMark

扫码关注云+社区

领取腾讯云代金券