1 citations · 2 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
A Single-Assignment Translation for Annotated Programs
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…
cs.LO2008
Lissom, a Source Level Proof Carrying Code Platform
Joao Gomes, Daniel Martins, Simao Melo de Sousa +1
This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean…