378 search results - page 52 / 76 » Automating Mathematical Program Transformations |
FOAL
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
105
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
107
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
86
Voted
LOPSTR
1998
Springer
15 years 4 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
112
click to vote
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...