S.D. Swierstra, E. Visser, J. Fokker  Home/Search
Context
Related
| cs.uu.nl/~visser/ftp...Progress99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.uu.nl/~visser/ftp/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: C transformations Implementation Code DSP Speci cation Implementation Code hand coding formalize formalize formalize abstract Figure 3: Production of DSP implementation code by means of program transformation. A speci cation is gradually transformed to an implementation via a number of intermediate formats. Each such `big step' transformation consists of a large number of small, local transformation steps. The speci cation of the transformation process formalizes the implicit... (Update)
Active bibliography (related documents): More All
0.5: System-Level Power Optimization of Video Codecs on .. - Nachtergaele.. (1998) (Correct)
0.1: Warm Fusion in Stratego: A Case Study in the Generation of.. - Johann, Visser (1999) (Correct)
0.1: Warm Fusion in Stratego: A Case Study in Generation of.. - Johann, Visser (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.0: Constant Propagation - Olmos, Visser (2002) (Correct)
0.2: The Systematic Construction of a One-Combinator Basis - Fokker (1989) (Correct)
0.2: Cote de Resyste - Conformance Testing Reactive (Correct)
BibTeX entry: (Update)
@misc{ swierstra-progress,
author = "S.D. Swierstra and E. Visser and J. Fokker",
title = "Progress - A Transformation Factory For Digital Signal Processing Software",
url = "citeseer.ist.psu.edu/295977.html" }
Citations (may not include all citations):324 Deforestation: Transforming programs to eliminate trees - Wadler - 1990
99 Building program optimizers with rewriting strategies - Visser, Benaissa et al. - 1998
37 Strategic pattern matching - Visser - 1999
24 Virtual data structures - Swierstra, de Moor - 1993
20 error-correcting combinator parsers (context) - Swierstra, Duponcheel - 1996
16 A core language for rewriting - Visser, Benaissa - 1998
11 Syntax Denition for Language Prototyping (context) - Visser - 1997
2 McIC: A single-chip MPEG2 video encoder for storage (context) - van der Werf, Br et al. - 1997
1 chapter Higher Order Attribute Grammars (context) - Swierstra, Vogt et al. - 1991
1 IC codeert real-time MPEG2-video (context) - van der Werf, Br et al. - 1997
1 The Conference on Domain-Specic Languages (context) - Association - 1997
1 CTADL: A Generator of Ecient Numerical Codes (context) - van Engelen - 1998
Documents on the same site (http://www.cs.uu.nl/~visser/ftp/index.html): More
Generation of Formatters for Context-free Languages - van den Brand, Visser (1995) (Correct)
Specification of Rewriting Strategies - Luttik, Visser (1997) (Correct)
A Case Study in Optimizing Parsing Schemata by Disambiguation.. - Visser (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC