1821 search results - page 57 / 365 » Security-Aware Program Transformations |
105
click to vote
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
119
click to vote
APLAS
2001
ACM
15 years 5 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
128
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
117
Voted
DSL
2009
15 years 17 hour ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
119
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
The performance benefits of GPU parallelism can be enormous, but unlocking this performance potential is challenging. The applicability and performance of GPU parallelizations is...