Mark Priestley - The Logic of Correctness in Software Engineering

[gustavolacerda]

Mark Priestley - The Logic of Correctness in Software Engineering

Abstract. This paper uses a framework drawn from work in the philosophy

Comments

[xpaerimtlslaekv]

the architecture of proof optimizations and certainty [within the self,

an interesting article: look for proof carrying code and optimizations...

optimizations and the architecture of proof.... [or the optimized self...

..... I need some colloborate debate to be back to...