2000 search results - page 122 / 400 » Program Transformation and Proof Transformation |
137
Voted
IEEEPACT
1998
IEEE
15 years 7 months ago
1998
IEEE
Global locality analysis is a technique for improving the cache performance of a sequence of loop nests through a combination of loop and data layout optimizations. Pure loop tran...
160
Voted
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
Malan is a MApping LANguage that allows the generation of transformation programs by specifying a schema mapping between a source and target data schema. By working at the schema ...
135
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Many important applications, such as those using sparse data structures, have memory reference patterns that are unknown at compile-time. Prior work has developed runtime reorderi...
107
click to vote
WEBI
2007
Springer
15 years 9 months ago
2007
Springer
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
107
click to vote
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...