A logical analysis of framing for specifications with pure method calls (2014)

by A Banerjee, D Naumann
Venue:Verified Software: Theories, Tools and Experiments, Lecture Notes in Computer Science
Add To MetaCart
Results 1 - 1 of 1

Conditional Effects in Fine-grained Region Logic

by Yuyan Bao, Gary T. Leavens, Gidon Ernst, Yuyan Bao, Gary T. Leavens, Gidon Ernst , 2015
"... [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and ..."
Abstract - Add to MetaCart
[Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and