1821 search results - page 191 / 365 » Security-Aware Program Transformations |
114
click to vote
LISP
2008
15 years 2 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
131
click to vote
JFP
2002
15 years 1 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
133
Voted
FAC
2010
15 years 23 days ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
149
Voted
NMA
2010
15 years 2 days ago
2010
One of the most important applications of the Asymmetric Hamiltonian Path Problem is in scheduling. In this paper we describe a variant of this problem, and develop both a mathemat...
104
Voted
IFIP
2009
Springer
14 years 12 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...