1821 search results - page 79 / 365 » Security-Aware Program Transformations |
130
click to vote
FPCA
1995
15 years 5 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
118
Voted
JLP
2010
14 years 9 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
129
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
127
Voted
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
128
Voted
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...