Lightweight Suppoert for Magic Wands in an Automatic Verifier

Metadata only

Author

Schwerhoff, Malte

Summers, Alexander J.

Date

2015

Type

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

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

ETH Bibliography

yes

Altmetrics

Research Collection