2000 search results - page 122 / 400 » Program Transformation and Proof Transformation |
183
click to vote
IEEEPACT
1998
IEEE
15 years 10 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...
197
click to vote
DOCENG
2008
ACM
15 years 8 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 ...
179
click to vote
PLDI
2003
ACM
15 years 11 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...
135
click to vote
WEBI
2007
Springer
16 years 11 days 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...
134
click to vote
IFL
2005
Springer
15 years 11 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...