Article

Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations

Authors:

ASAP '96: Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures, and Processors

Page 381

Published: 19 August 1996 Publication History

Publisher Site

Abstract

The ALPHA language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures of such systems. This paper discusses the static analysis of ALPHA programs, an extended type-checking process based on the single assignment rule. We present techniques ensuring, on one hand, that a system is valid (with respect to this rule) within a certain range of its parameters, and on the other, that no system is used with invalid values of its parameters. These techniques have been implemented in a versatile tool for ALPHA which is demonstrated on the example of the Gaussian elimination.

Cited By

View all

Varadarajan SStewart RMichaelson G(2019)A Case Study on RNA-RNA Interaction Application Implementation using AlphaZProceedings of the 4th ACM International Workshop on Real World Domain Specific Languages10.1145/3300111.3300112(1-10)Online publication date: 17-Feb-2019
https://dl.acm.org/doi/10.1145/3300111.3300112
Gautam Rajopadhye S(2006)Simplifying reductionsACM SIGPLAN Notices10.1145/1111320.111104141:1(30-41)Online publication date: 11-Jan-2006
https://dl.acm.org/doi/10.1145/1111320.1111041
Gautam Rajopadhye SMorrisett GJones S(2006)Simplifying reductionsConference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1111037.1111041(30-41)Online publication date: 11-Jan-2006
https://dl.acm.org/doi/10.1145/1111037.1111041
Show More Cited By

Recommendations

The naive execution of affine recurrence equations
ASAP '95: Proceedings of the IEEE International Conference on Application Specific Array Processors

In recognition of the fundamental relation between regular arrays and systems of affine recurrence equations, the ALPHA language was developed as the basis of a computer aided design methodology for regular array architectures. ALPHA is used to ...
Structuration of the ALPHA language
PMMP '95: Proceedings of the conference on Programming Models for Massively Parallel Computers

This paper presents extensions to ALPHA, a language based upon the formalism of affine recurrence equations (AREs). These extensions address the need for parametric and structured systems of such AREs. Similar to, but more general than the map operator ...
Hazard analysis of structured sequential systems
SS '95: Proceedings of the 28th Annual Simulation Symposium

Time uncertainties associated with the dynamic parameters of asynchronous sequential systems can lead to non-deterministic phenomena called hazards. We propose a dynamic model of such a system which represents time uncertainties through variables. A ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ASAP '96: Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures, and Processors

August 1996

ISBN:081867542X

Publisher

IEEE Computer Society

United States

Publication History

Published: 19 August 1996

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Varadarajan SStewart RMichaelson G(2019)A Case Study on RNA-RNA Interaction Application Implementation using AlphaZProceedings of the 4th ACM International Workshop on Real World Domain Specific Languages10.1145/3300111.3300112(1-10)Online publication date: 17-Feb-2019
https://dl.acm.org/doi/10.1145/3300111.3300112
Gautam Rajopadhye S(2006)Simplifying reductionsACM SIGPLAN Notices10.1145/1111320.111104141:1(30-41)Online publication date: 11-Jan-2006
https://dl.acm.org/doi/10.1145/1111320.1111041
Gautam Rajopadhye SMorrisett GJones S(2006)Simplifying reductionsConference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1111037.1111041(30-41)Online publication date: 11-Jan-2006
https://dl.acm.org/doi/10.1145/1111037.1111041
de Dinechin F(1997)Libraries of schedule-free operators in AlphaProceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors10.5555/784893.785002Online publication date: 14-Jul-1997
https://dl.acm.org/doi/10.5555/784893.785002

Abstract

Cited By

Recommendations

The naive execution of affine recurrence equations

Structuration of the ALPHA language

Hazard analysis of structured sequential systems

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations