• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Programming languages and systems >Computation-by-Interaction with Effects
【24h】

Computation-by-Interaction with Effects

机译：效果交互计算

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A successful approach in the semantics of programming languages is to model programs by interaction dialogues. While dialogues are most often considered abstract mathematical objects, it has also been argued that they are useful for actual computation. A manual implementation of interaction dialogues can be complicated, however. To address this issue, we consider a general method for extending a given language with a metalanguage that supports the implementation of dialogues. This method is based on the construction by Dal Lago and the author of the programming language intml, which applies interaction dialogues to sublinear space computation. We show that only few assumptions on the programming languages are needed to implement a useful INTML-like metalanguage. We identify a weak variant of the Enriched Effect Calculus (EEC) of Egger, Mogelberg & Simpson as a convenient setting for capturing the structure needed for the construction of the metalanguage. In particular, function types are not needed for the construction and iteration by means of a Conway operator is sufficient. By using EEC we show how computational effects can be accounted for in the implementation of interaction dialogues.
机译：编程语言语义上的成功方法是通过交互对话对程序进行建模。尽管对话最常被视为抽象的数学对象，但也有人认为对话对实际计算很有用。但是，手动执行交互对话可能很复杂。为了解决这个问题，我们考虑了一种通用的方法，该方法可以使用支持对话实现的元语言来扩展给定语言。此方法基于Dal Lago和编程语言intml的作者的构建，该语言将交互对话应用于子线性空间计算。我们表明，只需很少的编程语言假设即可实现有用的类似INTML的元语言。我们确定了Egger，Mogelberg和Simpson的增强效应演算（EEC）的一个弱变体，作为捕获构造金属语言所需结构的便捷设置。尤其是，不需要使用函数类型进行构造，并且使用Conway运算符进行迭代就足够了。通过使用EEC，我们展示了如何在交互对话的实现中考虑计算效果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号