A framework for program reasoning based on constraint traces

Ph.D

Saved in:
Bibliographic Details
Main Author: ANDREW EDWARD SANTOSA
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2010
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/13161
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-13161
record_format dspace
spelling sg-nus-scholar.10635-131612017-10-21T10:07:16Z A framework for program reasoning based on constraint traces ANDREW EDWARD SANTOSA COMPUTER SCIENCE JAFFAR, JOXAN program verification, program analysis, symbolic execution, abstraction, symmetry reduction, constraint logic programming Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:30:33Z 2010-04-08T10:30:33Z 2008-05-23 Thesis ANDREW EDWARD SANTOSA (2008-05-23). A framework for program reasoning based on constraint traces. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13161 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic program verification, program analysis, symbolic execution, abstraction, symmetry reduction, constraint logic programming
spellingShingle program verification, program analysis, symbolic execution, abstraction, symmetry reduction, constraint logic programming
ANDREW EDWARD SANTOSA
A framework for program reasoning based on constraint traces
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
ANDREW EDWARD SANTOSA
format Theses and Dissertations
author ANDREW EDWARD SANTOSA
author_sort ANDREW EDWARD SANTOSA
title A framework for program reasoning based on constraint traces
title_short A framework for program reasoning based on constraint traces
title_full A framework for program reasoning based on constraint traces
title_fullStr A framework for program reasoning based on constraint traces
title_full_unstemmed A framework for program reasoning based on constraint traces
title_sort framework for program reasoning based on constraint traces
publishDate 2010
url http://scholarbank.nus.edu.sg/handle/10635/13161
_version_ 1681078810450067456