Verifying heap-manipulating programs with unknown procedure calls

10.1007/978-3-642-16901-4_13

Saved in:
Bibliographic Details
Main Authors: Qin, S., Luo, C., He, G., Craciun, F., Chin, W.-N.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Online Access:http://scholarbank.nus.edu.sg/handle/10635/42072
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-42072
record_format dspace
spelling sg-nus-scholar.10635-420722015-02-13T11:33:55Z Verifying heap-manipulating programs with unknown procedure calls Qin, S. Luo, C. He, G. Craciun, F. Chin, W.-N. COMPUTER SCIENCE 10.1007/978-3-642-16901-4_13 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6447 LNCS 171-187 2013-07-04T08:42:42Z 2013-07-04T08:42:42Z 2010 Conference Paper Qin, S.,Luo, C.,He, G.,Craciun, F.,Chin, W.-N. (2010). Verifying heap-manipulating programs with unknown procedure calls. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6447 LNCS : 171-187. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-16901-4_13" target="_blank">https://doi.org/10.1007/978-3-642-16901-4_13</a> 3642169007 03029743 http://scholarbank.nus.edu.sg/handle/10635/42072 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description 10.1007/978-3-642-16901-4_13
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Qin, S.
Luo, C.
He, G.
Craciun, F.
Chin, W.-N.
format Conference or Workshop Item
author Qin, S.
Luo, C.
He, G.
Craciun, F.
Chin, W.-N.
spellingShingle Qin, S.
Luo, C.
He, G.
Craciun, F.
Chin, W.-N.
Verifying heap-manipulating programs with unknown procedure calls
author_sort Qin, S.
title Verifying heap-manipulating programs with unknown procedure calls
title_short Verifying heap-manipulating programs with unknown procedure calls
title_full Verifying heap-manipulating programs with unknown procedure calls
title_fullStr Verifying heap-manipulating programs with unknown procedure calls
title_full_unstemmed Verifying heap-manipulating programs with unknown procedure calls
title_sort verifying heap-manipulating programs with unknown procedure calls
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/42072
_version_ 1681082553547620352