2608 search results - page 239 / 522 » Subjects, Models, Languages, Transformations |
282
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
186
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
170
click to vote
WMPI
2004
ACM
15 years 12 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
193
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
175
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
High volume print jobs are getting more common due to the growing demand for personalized documents. In this context, Variable Data Printing (VDP) has become a useful tool for mar...