Separation Logic in the Presence of Garbage Collection

Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor

doi:10.1109/LICS.2011.46

Local TagsRelease HistoryDetailsSummary

Separation Logic in the Presence of Garbage Collection

Hur, C.-K., Dreyer, D., & Vafeiadis, V. (2011). Separation Logic in the Presence of Garbage Collection. In 26th Annual IEEE Symposium on Logic in Computer Science: proceedings (pp. 247-256). Los Alamitos, CA: IEEE Computer Society.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8B3F-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8B40-6

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Hur, Chung-Kil¹, Author
Dreyer, Derek¹, Author
Vafeiadis, Viktor², Author

Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286
2Max Planck Society, ou_persistent13

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2011

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 576642
DOI: 10.1109/LICS.2011.46

Degree: -

Event

show

hide

Title: LICS 2011

Place of Event: Toronto, Ontario, Canada

Start-/End Date: 2011-06-21 - 2011-06-24

Legal Case

show

Project information

show

Source 1

show

hide

Title: 26th Annual IEEE Symposium on Logic in Computer Science : proceedings

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Los Alamitos, CA : IEEE Computer Society

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 247 - 256 Identifier: ISBN: 978-1-4577-0451-2