DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY

Ph.D

Saved in:

Bibliographic Details
Main Author:	LE XUAN BACH
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2017
Subjects:	Separation Logic, Computational Complexity, Word Equation, Decision Procedure, Verification, Fractional Permissions
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/138215
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-138215
record_format	dspace
spelling	sg-nus-scholar.10635-1382152024-10-24T18:18:46Z DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY LE XUAN BACH COMPUTER SCIENCE AQUINAS HOBOR Separation Logic, Computational Complexity, Word Equation, Decision Procedure, Verification, Fractional Permissions Ph.D DOCTOR OF PHILOSOPHY 2017-12-31T18:01:41Z 2017-12-31T18:01:41Z 2017-08-14 Thesis LE XUAN BACH (2017-08-14). DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/138215 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Separation Logic, Computational Complexity, Word Equation, Decision Procedure, Verification, Fractional Permissions
spellingShingle	Separation Logic, Computational Complexity, Word Equation, Decision Procedure, Verification, Fractional Permissions LE XUAN BACH DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LE XUAN BACH
format	Theses and Dissertations
author	LE XUAN BACH
author_sort	LE XUAN BACH
title	DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
title_short	DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
title_full	DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
title_fullStr	DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
title_full_unstemmed	DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
title_sort	disjoint fractional permissions in verification: applications, systems and theory
publishDate	2017
url	http://scholarbank.nus.edu.sg/handle/10635/138215
_version_	1821210189308624896

DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY

Similar Items