Specifying I/O using abstract nested hoare triples in separation logic

No Thumbnail [100%x80]
View/open
Metadata
Show full item record
Authors
Penninckx, Willem; Timany, Amin; Jacobs, Bart
Conference
FTfJP '19 Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs
Title
Specifying I/O using abstract nested hoare triples in separation logic
Publication type
Proceedings paper
Embargo date
9999-12-31
Collections