Enhanced specification expressivity for verification with separation logic

Ph.D

Saved in:

Bibliographic Details
Main Author:	DAVID CRISTINA MARIANA
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2012
Subjects:	verification, separation logic, immutability annotations, structured specifications, case analysis, static and dynamic specifications
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/33332
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-33332
record_format	dspace
spelling	sg-nus-scholar.10635-333322015-01-05T19:23:20Z Enhanced specification expressivity for verification with separation logic DAVID CRISTINA MARIANA COMPUTER SCIENCE CHIN WEI NGAN verification, separation logic, immutability annotations, structured specifications, case analysis, static and dynamic specifications Ph.D DOCTOR OF PHILOSOPHY 2012-05-31T18:01:55Z 2012-05-31T18:01:55Z 2011-08-19 Thesis DAVID CRISTINA MARIANA (2011-08-19). Enhanced specification expressivity for verification with separation logic. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/33332 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	verification, separation logic, immutability annotations, structured specifications, case analysis, static and dynamic specifications
spellingShingle	verification, separation logic, immutability annotations, structured specifications, case analysis, static and dynamic specifications DAVID CRISTINA MARIANA Enhanced specification expressivity for verification with separation logic
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE DAVID CRISTINA MARIANA
format	Theses and Dissertations
author	DAVID CRISTINA MARIANA
author_sort	DAVID CRISTINA MARIANA
title	Enhanced specification expressivity for verification with separation logic
title_short	Enhanced specification expressivity for verification with separation logic
title_full	Enhanced specification expressivity for verification with separation logic
title_fullStr	Enhanced specification expressivity for verification with separation logic
title_full_unstemmed	Enhanced specification expressivity for verification with separation logic
title_sort	enhanced specification expressivity for verification with separation logic
publishDate	2012
url	http://scholarbank.nus.edu.sg/handle/10635/33332
_version_	1681081338544783360

Enhanced specification expressivity for verification with separation logic

Similar Items