从有序集划分的类型变换推断程序变换
Inferring Program Transformations from Type Transformations for Partitioning of Ordered Sets
摘要：
在本文中，我介绍了一种机制，以获得程序transformation- tions从顺序保持转换的向量类型。这项工作的目的是允许自动生成正确的建设实例的程序中的流数据处理的范例适合FPGA处理。我们表明，它是可以自动派生的实例程序的基础上结合使用foldl和地图，纯粹从类型转换的不透明的元素处理功能的组合。
英文摘要：
In this paper I introduce a mechanism to derive program transforma- tions from order-preserving transformations of vector types. The purpose of this work is to allow automatic generation of correct-by-construction instances of programs in a streaming data processing paradigm suitable for FPGA processing. We show that for it is possible to automatically derive instances for programs based on combinations of opaque element- processing functions combined using foldl and map, purely from the type transformations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
