2016
Effectively eliminating auxiliaries
Publication
Publication
Auxiliary variables are used in the intermediate steps of a correctness proof to store additional information about the computation. We investigate for which classes of programs auxiliary variables can be avoided in the associated proof system, and give effective translations of proofs whenever this is the case.
| Additional Metadata | |
|---|---|
| doi.org/10.1007/978-3-319-30734-3_16 | |
| Organisation | Computer Security |
|
de Gouw, S., & Rot, J. (2016). Effectively eliminating auxiliaries. doi:10.1007/978-3-319-30734-3_16 |
|