1821 search results - page 73 / 365 » Security-Aware Program Transformations |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
AGP
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
ACTA
2007
13 years 9 months ago
2007
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
SCAM
2006
IEEE
14 years 3 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
LCPC
1995
Springer
14 years 15 days ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...