首页> 外文学位 >The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms

【24h】

The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms

机译：直接和延期传递风格优化编译器之间的正式关系：两个范式的合成

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Sabry, Amr Afaf.;
展开▼
作者单位

Rice University.;

展开▼
授予单位 Rice University.;
学科
学位 Ph.D.
年度 1995
页码 157 p.
总页数 157
原文格式 PDF
正文语种 eng
中图分类
关键词
intermediate representation; lambda calculus; programming languages;

机译：中级代表;Lambda微积分;编程语言;

相似文献

外文文献
中文文献
专利

1. Continuation-Passing C, compiling threads to events through continuations [J] . Gabriel Kerneis, Juliusz Chroboczek Higher-order and symbolic computation . 2011,第3期

机译：Continuation-传递C，通过延续将线程编译为事件
2. Formal Approach to Guarantee the Correctness of Compiler Optimization using Temporal Logic [J] . Fang Ling 情報処理 . 2011,第10期

机译：使用时间逻辑来保证编译器优化正确性的形式化方法
3. Concurrency Semantics in Continuation-Passing Style [J] . Todoran Eneia Nicolae, Papaspyrou Nikolaos Fundamenta Informaticae . 2017,第1a2期

机译：连续传递风格的并发语义
4. Relationships among self-directed learning, learning styles, learning strategies and learning achievement for students of Technology University in Taiwan by using structural equation models [C] . MEI-CHING CHEN Recent Researches in Educational Technologies . 2011

机译：基于结构方程模型的台湾理工大学学生自主学习，学习方式，学习策略与学习成绩的关系
5. Compiler directed architecture-dependent communication optimizations. [D] . Hinrichs, Susan Karen. 1995

机译：编译器指导的依赖于体系结构的通信优化。
6. Catalyst-Directed Diastereoselectivity in Hydrogenative Couplings of Acetylene to α-Chiral Aldehydes: Formal Synthesis of All Eight L-Hexoses [O] . Soo Bong Han, Jong Rock Kong, Michael J. Krische -1

机译：乙炔与α-手性醛加氢偶联的催化剂定向非对映选择性：全部八个L-己糖的形式合成
7. Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler [O] . Heiko Becker, Eva Darulova, Magnus O. Myreen, 2019

机译：结冰：在验证的编译器中支持快速数学样式优化
8. Design and Implementation of Code Optimizations for a Type-Directed Compiler forStandard ML [R] . Tarditi, D. 1996

机译：标准mL的类型导向编译器的代码优化设计与实现

The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms

著录项

相似文献

相关主题

期刊订阅