On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

LOPSTR, pp. 3-18, 2019.

Cited by: 1|Views75
EI

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Best Paper
Best Paper of LOPSTR, 2019
Tags
Comments