Array-OL 的基本变换分析
编程语言
2007-05-23 v2
作者:
Paul Feautrier
摘要
Array-OL 是一种专用于定义密集型信号处理应用的高级规范语言。已有多种工具可用于将 Array-OL 规范实现为数据并行程序。虽然 Array-OL 可直接使用，但通常能够根据应用的顺序版本推导出部分规范更为便利。本文提出了这样一种分析方法，并考察了其可行性与局限性。
引用
@article{arxiv.0705.2145,
title = {Elementary transformation analysis for Array-OL},
author = {Paul Feautrier},
journal= {arXiv preprint arXiv:0705.2145},
year = {2007}
}
相关论文
查看更多相关论文 →
编程语言 · 计算机科学
A Quick Introduction to Functional Verification of Array-Intensive Programs
Kunal Banerjee, Chandan Karfa
2019-05-23
编程语言 · 计算机科学
The Formal Semantics of Rascal Light
Ahmad Salim Al-Sibahi
2018-02-07
软件工程 · 计算机科学
Enhancing the Alloy Analyzer with Patterns of Analysis
William Heaven, Alessandra Russo
2007-05-23
数据库 · 计算机科学
Optimizing I/O for Big Array Analytics
Yi Zhang, Jun Yang
2012-04-30
编程语言 · 计算机科学
Predicate Specialization for Definitional Higher-order Logic Programs
Antonis Troumpoukis, Angelos Charalambidis
2018-12-04
数据库 · 计算机科学
Translation of Array-Based Loops to Distributed Data-Parallel Programs
Leonidas Fegaras, Md Hasanuzzaman Noor
2020-03-24
计算与语言 · 计算机科学
ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln +2
2016-04-21
数学软件 · 计算机科学
Efficient Differentiable Programming in a Functional Array-Processing Language
Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones +1
2018-06-07
计算与语言 · 计算机科学
DeepSTL -- From English Requirements to Signal Temporal Logic
Jie He, Ezio Bartocci, Dejan Ničković, Haris Isakovic +1
2022-03-25
人工智能 · 计算机科学
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
Bowen Ye, Zhijian Li, Junyue Huang, Junkai Ma +1
2026-05-12
编程语言 · 计算机科学
Array Program Transformation with Loo.py by Example: High-Order Finite Elements
Andreas Klöckner, Lucas C. Wilcox, T. Warburton
2018-10-05
天体物理仪器与方法 · 物理学
The Long Wavelength Array Software Library
Jayce Dowell, Daniel Wood, Kevin Stovall, Paul S. Ray +2
2013-08-27
编程语言 · 计算机科学
Array operators using multiple dispatch: a design methodology for array implementations in dynamic languages
Jeff Bezanson, Jiahao Chen, Stefan Karpinski, Viral Shah +1
2014-07-16
计算机科学中的逻辑 · 计算机科学
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version)
Martin Avanzini, Ugo Dal Lago, Georg Moser
2015-06-17
分布式、并行与集群计算 · 计算机科学
Tools for Analyzing Parallel I/O
Julian M. Kunkel, Eugen Betke, Matt Bryson, Philip Carns +4
2018-07-19
机器学习 · 计算机科学
Reinforcement Learning Optimization for Large-Scale Learning: An Efficient and User-Friendly Scaling Library
Weixun Wang, Shaopan Xiong, Gengru Chen, Wei Gao +37
2025-06-09
机器学习 · 计算机科学
Awesome-OL: An Extensible Toolkit for Online Learning
Zeyi Liu, Songqiao Hu, Pengyu Han, Jiaming Liu +1
2025-07-29
人工智能 · 计算机科学
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2026-01-22
编程语言 · 计算机科学
Program Transformation to Identify List-Based Parallel Skeletons
Venkatesh Kannan, G. W. Hamilton
2016-07-11
编程语言 · 计算机科学
Object-Oriented Parallel Programming
Edward Givelberg
2014-04-21
软件工程 · 计算机科学
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
Tomáš Brablec, Tomáš Dacík, Tomáš Vojnar
2026-02-09
数据库 · 计算机科学
Automatic approach for generating ETL operators
Wided Bakari, Mouez Ali, Hanene Ben-Abdallah
2012-12-27
分布式、并行与集群计算 · 计算机科学
Extended Abstract: Productive Parallel Programming with Parsl
Kyle Chard, Yadu Babuji, Anna Woodard, Ben Clifford +5
2022-05-05
数据库 · 计算机科学
Object-Oriented Translation for Programmable Relational System (DRAFT)
Evgeniy Grigoriev
2013-04-09
统计计算 · 统计学
iotools: High-Performance I/O Tools for R
Taylor Arnold, Michael Kane, Simon Urbanek
2016-04-08