- 1、本文档共26页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
A Reflection on Call-by-Value
A Re
ection on Call-by-ValueAMR SABRYUniversity of OregonandPHILIP WADLERBell Laboratories, Lucent TechnologiesOne way to model a sound and complete translation from a source calculus into a target calculusis with an adjoint or a Galois connection. In the special case of a re
ection, one also has that thetarget calculus is isomorphic to a subset of the source. We show that three widely studied trans-lations form re
ections. We use as our source language Moggis computational lambda calculus,which is an extension of Plotkins call-by-value calculus. We show that Plotkins CPS transla-tion, Moggis monad translation, and Girards translation to linear logic can all be regarded asre
ections from this source language, and we put forward the computational lambda calculus asa model of call-by-value computation that improves on the traditional call-by-value calculus. Ourwork strengthens Plotkins and Moggis original results and improves on recent work based onequational correspondence, which uses equations rather than reductions.Categories and Subject Descriptors: D.1.1 [Programming Techniques]: Applicative (Func-tional) Programming; D.3.4 [Programming Languages]: Processors|compilers; F.3.2 [Logicsand Meanings of Programs]: Semantics of Programming Languages; F.4.1 [MathematicalLogic and Formal Languages]: Mathematical LogicGeneral Terms: Languages, TheoryAdditional Key Words and Phrases: Category theory, compiling, continuations, Galois connections1. INTRODUCTIONCompiler correctness is a central concern of computing. It is often expressed in theform of a diagram. MM NN#-T -S? 6#This article is a revised and extended version of a paper that appeared in the ACM SIGPLANInternational Conference on Functional Programming (Philadelphia, Pa.), 1996. Work startedwhile the rst author was at Chalmers University, and the second author was at University ofGlasgow.Authors addresses: A. Sabry, University of Oregon, Department of Computer and InformationScience, Eugene, OR 97403; P. Wadle
您可能关注的文档
- 400句意大利口头语.pdf
- 40000_lettres_types_correspondance.pdf
- 4113131 夏考英语 冲刺班 201011 阅读 共66页 第15-20页(life routine).pdf
- 413751导学班 词汇精品课堂 短语搭配 第10-19页.pdf
- 42+MW燃煤热风炉结构设计特点分析.pdf
- 400款奢侈品fillico神户矿泉水包装.pdf
- 413752导学班 词汇精品课堂 混淆词汇.pdf
- 450v470UF电容(电解电容).pdf
- 4.护理主管的领导技巧.PPT101.4.2.pdf
- 4A Mid-Term Test.pdf
- A Resonant soft x-ray powder diffraction study to determine the orbital ordering in A-site.pdf
- A Proof Procedure for Functional First Order Logic Programs with Non-Deterministic Lazy Fun.pdf
- A Role for Environmental Engineering and Science in Preventing Bioaerosol-Related Disease.pdf
- A review of creep analysis and design under multi-axial stress states.pdf
- A safe, efficient algorithm for regression test selection.pdf
- A sandpile model with tokamak-like enhanced confinement phenomenology.pdf
- A SCALABLE COLLABORATIVE FILTERING ALGORITHM BASED ON LOCALIZED PREFERENCE.pdf
- A Self Documenting Programming Environment for Weighting.pdf
- A review of lecithin chemistry and glandless cottonseed as a potential commercial source.pdf
- A Self-Learning Call Admission Control Scheme for CDMA Cellular Networks.pdf
最近下载
- 2025年道路交通安全法律法规知识竞赛题库及答案(共770题) .pdf
- 黑龙江省绥化市2024年中考语文模拟题试题(含解析)[1].doc
- 2025年山西卫生健康职业学院单招职业倾向性测试题库及完整答案1套.docx VIP
- 肱骨近端骨折护理查房.ppt VIP
- 八年级下册物理期中复习(压轴60题19大考点)-八年级下册物理同步知识解读与专题训练(苏科版)(解析版).docx
- 【行业标准】Q∕CR 9205-2015 铁路工程试验表格.pdf
- 遵义会议课件演示.pptx VIP
- 脉管系统—心血管系统(解剖学课件).pptx
- 安达VCD-1000无感矢量变频器使用说明书.pdf
- 中班健康《五官在哪里》.ppt VIP
文档评论(0)