Shape Analysis via Second-Order Bi-Abduction

Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin

Research output: Contribution to journal › Conference article › peer-review

192 Downloads (Pure)

Original language	English
Pages (from-to)	52
Number of pages	68
Journal	Lecture Notes in Computer Science
Volume	8559
DOIs	https://doi.org/10.1007/978-3-319-08867-9_4
Publication status	Published - 2014
Event	26th International Conference on Computer Aided Verification - Vienna, Austria Duration: 18 Jul 2014 → 22 Jul 2014

Access to Document

@article{f2ac007585074ca4a0e20a2261713617,

title = "Shape Analysis via Second-Order Bi-Abduction",

author = "Le, {Quang Loc} and Cristian Gherghina and Shengchao Qin and Wei-Ngan Chin",

year = "2014",

doi = "10.1007/978-3-319-08867-9_4",

language = "English",

volume = "8559",

pages = "52",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "26th International Conference on Computer Aided Verification, CAV 2014 ; Conference date: 18-07-2014 Through 22-07-2014",

}

TY - JOUR

T1 - Shape Analysis via Second-Order Bi-Abduction

AU - Le, Quang Loc

AU - Gherghina, Cristian

AU - Qin, Shengchao

AU - Chin, Wei-Ngan

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-08867-9_4

DO - 10.1007/978-3-319-08867-9_4

M3 - Conference article

SN - 0302-9743

VL - 8559

SP - 52

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 26th International Conference on Computer Aided Verification

Y2 - 18 July 2014 through 22 July 2014

ER -