Verifying pointer safety for programs with unknown calls

10.1016/j.jsc.2010.06.003

Saved in:

Bibliographic Details
Main Authors:	Luo, C., Craciun, F., Qin, S., He, G., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Abduction Inference Separation logic Verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39804
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39804
record_format	dspace
spelling	sg-nus-scholar.10635-398042023-10-25T20:28:35Z Verifying pointer safety for programs with unknown calls Luo, C. Craciun, F. Qin, S. He, G. Chin, W.-N. COMPUTER SCIENCE Abduction Inference Separation logic Verification 10.1016/j.jsc.2010.06.003 Journal of Symbolic Computation 45 11 1163-1183 2013-07-04T07:49:57Z 2013-07-04T07:49:57Z 2010 Article Luo, C., Craciun, F., Qin, S., He, G., Chin, W.-N. (2010). Verifying pointer safety for programs with unknown calls. Journal of Symbolic Computation 45 (11) : 1163-1183. ScholarBank@NUS Repository. https://doi.org/10.1016/j.jsc.2010.06.003 07477171 http://scholarbank.nus.edu.sg/handle/10635/39804 000282627600005 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Abduction Inference Separation logic Verification
spellingShingle	Abduction Inference Separation logic Verification Luo, C. Craciun, F. Qin, S. He, G. Chin, W.-N. Verifying pointer safety for programs with unknown calls
description	10.1016/j.jsc.2010.06.003
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Luo, C. Craciun, F. Qin, S. He, G. Chin, W.-N.
format	Article
author	Luo, C. Craciun, F. Qin, S. He, G. Chin, W.-N.
author_sort	Luo, C.
title	Verifying pointer safety for programs with unknown calls
title_short	Verifying pointer safety for programs with unknown calls
title_full	Verifying pointer safety for programs with unknown calls
title_fullStr	Verifying pointer safety for programs with unknown calls
title_full_unstemmed	Verifying pointer safety for programs with unknown calls
title_sort	verifying pointer safety for programs with unknown calls
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39804
_version_	1781411060699365376

Verifying pointer safety for programs with unknown calls

Similar Items