Sciweavers

Share
6 search results - page 2 / 2
» Verifying CPS transformations in Isabelle HOL
Sort
View
JLP
2010
142views more  JLP 2010»
8 years 8 months ago
Relational bytecode correlations
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...
Lennart Beringer
books