First Page | Document Content | |
---|---|---|
![]() Date: 2014-08-22 12:11:10Software engineering Computing Theoretical computer science Type theory Data types Logic in computer science Edsger W. Dijkstra Substructural logic Separation logic Type system Haskell Subtyping | Add to Reading List |
![]() | Formale Systeme II: Theorie Separation Logic SSProf. Dr. Bernhard Beckert · Dr. Mattias UlbrichDocID: 1xUOs - View Document |
![]() | Towards Mechanized Program Verification with Separation Logic Tjark WeberDocID: 1xUG7 - View Document |
![]() | Overview Hoare Logic Separation Logic Entailment ExerciseDocID: 1xTPb - View Document |
![]() | A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, AustriaDocID: 1xTjg - View Document |
![]() | Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex SystemsDocID: 1xTgn - View Document |