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  
Notes
.
More
Show all metadata
Citations
Cited 5 times in Scopus
ETH Bibliography
yes
Altmetrics