1821 search results - page 57 / 365 » Security-Aware Program Transformations |
IFIP
1998
Springer
14 years 1 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. ...
APLAS
2001
ACM
14 years 17 days 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...
COMPSAC
2008
IEEE
14 years 3 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...
DSL
2009
13 years 6 months 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...
PLDI
2011
ACM
12 years 11 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...