A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Verifiable functional purity in java
2008
Proceedings of the 15th ACM conference on Computer and communications security - CCS '08
Proving that particular methods within a code base are functionally pure-deterministic and side-effect free-would aid verification of security properties including function invertibility, reproducibility of computation, and safety of untrusted code execution. Until now it has not been possible to automatically prove a method is functionally pure within a high-level imperative language in wide use, such as Java. We discuss a technique to prove that methods are functionally pure by writing
doi:10.1145/1455770.1455793
dblp:conf/ccs/FinifterMSW08
fatcat:jcthk6a4pzgbhats3l6dxga35m