6274 search results - page 162 / 1255 » Proofs, Programs, Processes |
136
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
152
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The increased importance of XML as a data representation format has led to several proposals for facilitating the development of applications that operate on XML data. These propo...
153
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
As new computer architectures are developed to exploit large-scale data-level parallelism, techniques are needed to retarget legacy sequential code to these platforms. Sequential ...
167
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
172
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...