1 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
We present a translation of While programs annotated with loop invariants into a dynamic single-assignment language with a dedicated iterating construct. We prove that the translat…