Lightweight Suppoert for Magic Wands in an Automatic Verifier

Thumbnail
Metadata only
Author
Schwerhoff, Malte
Summers, Alexander J.
Date
2015
Type
    Conference Paper
Publication status
published
External links
Search via SFX
Editor
Boyland, John Tang
Book title
29th European Conference on Object-Oriented Programming (ECOOP 2015)
Journal / series
Leibniz International Proceedings in Informatics
Volume
37
Pages / Article No.
614 - 638
Publisher
Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Event
29th European Conference on Object-Oriented Programming (ECOOP 2015), Prague, Czech Republic, July 5-10, 2015
Subject
Magic Wand; Software Verification; Automatic Verifiers; Separation Logic; Implicit Dynamic Frames
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics