SynGuide: An environment for doing interactive correctness preserving transformations
- 30 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Automating High Level Control F'low Transformations For Dsp Memory ManagementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Target architectures in the CATHEDRAL synthesis systems: objectives and impactPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Correctness preserving transformations on the Hough algorithmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The formal definition of a synchronous hardware-description language in higher order logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Compiling multi-dimensional data streams into distributed DSP ASIC memoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Omega test: a fast and practical integer programming algorithm for dependence analysisPublished by Association for Computing Machinery (ACM) ,1991
- A loop transformation theory and an algorithm to maximize parallelismIEEE Transactions on Parallel and Distributed Systems, 1991
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Science and Business Media LLC ,1988
- An Abstract Model of Behavior for Hardware DescriptionsIEEE Transactions on Computers, 1983
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977