A transformational proof system for delta-oriented programming.

Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu

Browse the full SPLC paper archive.