• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computers and Artificial Intelligence >A PARALLEL FUNCTIONAL LANGUAGE WITH FIRST-CLASS CONTINUATIONS. PROGRAMMING STYLE AND SEMANTICS
【24h】

A PARALLEL FUNCTIONAL LANGUAGE WITH FIRST-CLASS CONTINUATIONS. PROGRAMMING STYLE AND SEMANTICS

机译：具有一流延续性的并行功能语言。编程风格和语义

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

摘要

We present an operational semantics for a functional language with first-class continuations and transparent constructs for parallelism fork and pcall. The sequential semantics of programs with first-class continuations is preserved when parallel evaluation is allowed, by verifying whether some expressions have returned a value before applying a continuation. These expressions are the ones that are evaluated before this continuation is applied in a left-to-right sequential order. An implementation is proposed using a notion of higher-order continuation that we call metacontinuation. This semantics is costless when first-class continuations are not used. Several programs also illustrate the programming style that can be adopted in such a language.
机译：我们为具有功能性语言的操作语义提供了一流的延续，并为并行派生和pcall提供了透明的构造。当允许并行求值时，通过在应用延续之前验证某些表达式是否返回了值，可以保留具有一流延续性的程序的顺序语义。这些表达式是在按从左到右的顺序顺序应用此延续之前评估的表达式。提出了一种使用我们称为元连续性的高阶连续性概念的实现。当不使用一流的延续时，此语义是无成本的。几个程序还说明了可以以这种语言采用的编程风格。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号