Lazy evaluation and delimited control

机译：懒惰评估和分隔控制

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics.

机译：逐个需要的Lambda Calmulus在句子上提供了一项实践框架关于懒惰评估。本文介绍了其运行特征。

著录项

来源
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》|2009年||共12页
会议地点
作者
Ronald Garcia; Andrew Lumsdaine; Amr Sabry;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类程序设计、软件工程;
关键词
abstract machines; call-by-need; delimited continuations; lambda calculus; reduction semantics;

机译：抽象机器;致电;分隔持续;lambda微积分;减少语义;

相似文献

外文文献
中文文献
专利

1. Lazy Evaluation and Delimited Control [J] . RonaldGarcia, AndrewLumsdaine, AmrSabry Logical Methods in Computer Science . 2010,第3期

机译：惰性评估和定界控制
2. Lazy Evaluation and Delimited Control [J] . Ronald Garcia, Andrew Lumsdaine, Amr Sabry ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2009,第1期

机译：惰性评估和定界控制
3. Evaluation and development of a novel binocular treatment (I-BiT?) system using video clips and interactive games to improve vision in children with amblyopia (‘lazy eye’): study protocol for a randomised controlled trial [J] . Alexander J Foss, Richard M Gregson, Daisy MacKeith, Trials . 2013,第1期

机译：使用视频剪辑和互动游戏来改善弱视儿童（“懒惰的眼睛”）视力的新型双目治疗（I-BiT？）系统的评估和开发：一项随机对照试验的研究方案
4. Lazy evaluation and delimited control [C] . Ronald Garcia, Andrew Lumsdaine, Amr Sabry Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . 2009

机译：延迟评估和定界控制
5. An operational semantics of lazy evaluation for analysis. [D] . Seaman, Jill M. 1993

机译：惰性求值分析的操作语义。
6. Evaluation and development of a novel binocular treatment (I-BiT™) system using video clips and interactive games to improve vision in children with amblyopia (‘lazy eye’): study protocol for a randomised controlled trial [O] . Alexander J Foss, Richard M Gregson, Daisy MacKeith, 2013

机译：评估和开发一种新型的双目治疗（I-BiT™）系统该系统使用视频剪辑和互动游戏来改善弱视儿童（懒惰的眼睛）的视力：一项随机对照试验的研究方案
7. Lazy Evaluation and Delimited Control [O] . Garcia, Ronald, Lumsdaine, Andrew, Sabry, Amr 2010

机译：懒惰评估和分界控制
8. Evaluation of the Extent of the Non-Native Insect, Balsam Woolly Adelgid, South of the Salmon River in Idaho from 2006-2014 by Ground Delimitation and Aerial Detection Surveys. [R] . 2014

机译：通过地面划界和空中探测调查评估了2006 - 2014年爱达荷州鲑鱼河以南的非本地昆虫，Balsam Woolly adelgid的范围。

Lazy evaluation and delimited control

摘要

著录项

相似文献

相关主题

期刊订阅