首页> 外文OA文献 >A structured approach to proving compiler optimizations based on dataflow analysis

【2h】

A structured approach to proving compiler optimizations based on dataflow analysis

机译：一种基于数据流分析证明编译器优化的结构化方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yves Bertot; Benjamin Grégoire; Xavier Leroy;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Compiler Optimizations as a Countermeasure against Side-Channel Analysis in MSP430-Based Devices [J] . Jos#x000E9, M. Moya, Juan-Mariano de Goyeneche, Sensors . 2012,第6期

机译：编译器优化作为基于MSP430的设备的边通道分析的对策
2. Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging [J] . Tiark Rompf, Arvind K. Sujeeth, Nada Amin, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第1期

机译：在高级程序中优化数据结构，基于分段的可扩展编译器新方向
3. A compiler approach to map algebra: automatic parallelization, locality optimization, and GPU acceleration of raster spatial analysis [J] . Jesús Caraba?o, Jan Westerholm, Tapani Sarjakoski Geoinformatica: An international journal of advances of computer science for geographic . 2018,第2期

机译：映射代数的编译方法：自动并行化，地区优化和光栅空间分析的GPU加速度
4. A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis [C] . Yves Bertot, Benjamin Grégoire, Xavier Leroy International Workshop on Types for Proofs and Programs . 2006

机译：基于数据流分析证明编译器优化的结构化方法
5. A Case-Based Approach to Improve Quality and Efficiency in Ill-Structured Optimization : An Application to Job Shop Scheduling [D] . 宮下, 和雄 1995

机译：基于案例的不良结构优化中提高质量和效率的方法：在车间调度中的应用
6. Compiler Optimizations as a Countermeasure against Side-Channel Analysis in MSP430-Based Devices [O] . Pedro Malagón, Juan-Mariano de Goyeneche, Marina Zapater, 2012

机译：编译器优化作为基于MSP430的设备的边通道分析的对策
7. A structured approach to proving compiler optimizations based on dataflow analysis [O] . Bertot, Yves, Grégoire, Benjamin, Leroy, Xavier 2004

机译：基于数据流分析的证明编译器优化的结构化方法
8. RABBIT: A Compiler for SCHEME (A Dialect of LISP). A Study in Compiler Optimization Based on Viewing LAMBDA as RENAME and Procedure Call as GOTO using the Techniques of Macro Definition of Control and Environment Structures. Source-to-Source Transformation Procedure Integration and Tail-Recursion. [R] . Steele, G. L. 1978

机译：兔子：计划编制者（LIsp方言）。基于控制和环境结构宏观定义技术的LamBDa作为重命名和程序调用GOTO的编译优化研究。源到源转换过程集成和尾递归。

A structured approach to proving compiler optimizations based on dataflow analysis

著录项

引文网络

相似文献

相关主题

期刊订阅