Open Access System for Information Sharing

Login Library

 

Article
Cited 5 time in webofscience Cited 10 time in scopus
Metadata Downloads

A Proof System for Separation Logic with Magic Wand

Title
A Proof System for Separation Logic with Magic Wand
Authors
Lee, WPark, S
POSTECH Authors
Park, S
Date Issued
Jan-2014
Publisher
ACM
Keywords
Verification; Separation logic; Proof system; Theorem prover; MUTABLE DATA-STRUCTURES; SHAPE-ANALYSIS; VERIFICATION; BI
URI
http://oasis.postech.ac.kr/handle/2014.oak/14755
DOI
10.1145/2535838.2535871
ISSN
0362-1340
Article Type
Article
Citation
SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

박성우PARK, SUNGWOO
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse