Program Optimizations and Transformations in Calculation Form

机译：计算表中的程序优化和转换

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

The world of program optimization and transformation takes on a new fascination when viewed through the lens of program calculation. Unlike the traditional fold/unfold approach to program transformation on arbitrary programs, the calculational approach imposes restrictions on program structures, resulting in some suitable calculational forms such as homomorphisms and mutumorphisms that enjoy a collection of generic algebraic laws for program manipulation. In this tutorial, we will explain the basic idea of program calculation, demonstrate that many program optimizations and transformations, such as the optimization technique known as loop fusion and the parallelization transformation, can be concisely reformalized in calculational form, and show that program transformation in calculational forms is of higher modularity and more suitable for efficient implementation.

机译：从程序计算的角度来看，程序优化和转换的世界充满了新的魅力。与在任意程序上进行程序转换的传统折叠/展开方法不同，计算方法对程序结构施加了限制，从而导致一些合适的计算形式（例如同态和多态）享受了用于程序操纵的通用代数定律的集合。在本教程中，我们将解释程序计算的基本概念，演示许多程序的优化和转换，例如称为循环融合和并行化转换的优化技术，可以以计算形式简明地重新格式化，并说明程序转换计算形式具有更高的模块性，更适合有效实施。

著录项

来源
《Generative and Transformational Techniques in Software Engineering; Lecture Notes in Computer Science; 4143》|2005年|144-168|共25页
会议地点 Braga(PT)
作者
Zhenjiang Hu; Tetsuo Yokoyama; Masato Takeichi;
展开▼
作者单位

Department of Mathematical Informatics Graduate School of Information Science and Technology The University of Tokyo 7-3-1 Hongo, Bunkyo 113-8656, Tokyo, JAPAN;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词
program transformation; program calculation; program optimization; meta programming; functional programming;

机译：程序转换；程序计算；程序优化；元编程；功能编程;

相似文献

外文文献
中文文献
专利

1. Automatic optimization of stream programs via source program operator graph transformations [J] . Miyuru Dayarathna, Toyotaro Suzumura Distributed and Parallel Databases . 2013,第4期

机译：通过源程序操作员图形转换自动优化流程序
2. A systematic methodology for the application of data transfer and storage optimizing code transformations for power consumption and execution time reduction in realizations of multimedia algorithms on programmable processors [J] . Masselos K., Catthoor F., Goutis C.E., IEEE transactions on very large scale integration (VLSI) systems . 2002,第4期

机译：在可编程处理器上实现多媒体算法时，用于数据传输和存储的系统方法论，用于优化代码转换以降低功耗和减少执行时间
3. A systematic methodology for the application of data transfer and storage optimizing code transformations for power consumption and execution time reduction in realizations of multimedia algorithms on programmable processors [J] . Masselos K., Catthoor F., Goutis C.E., IEEE transactions on very large scale integration (VLSI) systems . 2002,第4期

机译：在可编程处理器上实现多媒体算法时，用于数据传输和存储的系统方法论，用于优化代码转换以降低功耗和减少执行时间
4. Calculation carrying programs - how to code program transformations [C] . Takeichi, M., Zhenjiang Hu . 2000

机译：计算携带程序-如何编写程序转换代码
5. Elements of Transformational Learning in Short-Term Study Abroad Programs in Part-Time MBA Programs: A Case Study [D] . Andahazy, William 2015

机译：兼职MBA课程中的短期国外留学项目中的转化学习要素：案例研究
6. Practice transformations to optimize the delivery of HIV primary care in community healthcare settings in the United States: A program implementation study [O] . Wayne T. Steward, Kimberly A. Koester, Mary A. Guzé, 2020

机译：一项实践转化以优化美国社区医疗机构中艾滋病毒初级保健的提供：一项计划实施研究
7. Calculation Carrying Programs - How to Code Program Transformations - [O] . Masato Takeichi, Zhenjiang Hu 2000

机译：计算执行程序-如何编写程序转换代码-

Program Optimizations and Transformations in Calculation Form

摘要

著录项

相似文献

相关主题

期刊订阅