A formal relationship between program slicing and partial evaluation David W. BinkleySebastian DanicicLahcen Ouarbya OriginalPaper 10 May 2006 Pages: 103 - 119
Provably-correct hardware compilation tools based on pass separation techniques Steve McKeeverWayne Luk OriginalPaper 03 November 2005 Pages: 120 - 142
The verified software repository: a step towards the verifying compiler J.C. BicarreguiC.A.R. HoareJ.C.P. Woodcock OriginalPaper 08 February 2006 Pages: 143 - 151
Procedure compilation in the refinement calculus K. LermerC. J. Fidge OriginalPaper 20 March 2006 Pages: 152 - 180
A singleton failures semantics for Communicating Sequential Processes Christie BoltonJim Davies OriginalPaper 17 May 2006 Pages: 181 - 210
Action Refinement Applied to Late Decisions H. FecherM. Majster-Cederbaum OriginalPaper 28 March 2006 Pages: 211 - 230
Formal Aspects of Correctness and Optimality of Interval Computations Regivan H. Nunes SantiagoBenjamín R. Callejas BedregalBenedito Melo Acióly OriginalPaper 15 February 2006 Pages: 231 - 243
Finite Integer Computations: An Algebraic Foundation for Their Correctness Sabine Glesner OriginalPaper 29 March 2006 Pages: 244 - 262