Memory model sensitive bytecode verification

10.1007/s10703-007-0041-6

Saved in:

Bibliographic Details
Main Authors:	Huynh, T.Q., Roychoudhury, A.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Bytecode verification Programming language memory models Software model checking
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39828
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39828
record_format	dspace
spelling	sg-nus-scholar.10635-398282023-10-30T07:05:58Z Memory model sensitive bytecode verification Huynh, T.Q. Roychoudhury, A. COMPUTER SCIENCE Bytecode verification Programming language memory models Software model checking 10.1007/s10703-007-0041-6 Formal Methods in System Design 31 3 281-305 FMSDE 2013-07-04T07:50:31Z 2013-07-04T07:50:31Z 2007 Article Huynh, T.Q., Roychoudhury, A. (2007). Memory model sensitive bytecode verification. Formal Methods in System Design 31 (3) : 281-305. ScholarBank@NUS Repository. https://doi.org/10.1007/s10703-007-0041-6 09259856 http://scholarbank.nus.edu.sg/handle/10635/39828 000250580800005 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Bytecode verification Programming language memory models Software model checking
spellingShingle	Bytecode verification Programming language memory models Software model checking Huynh, T.Q. Roychoudhury, A. Memory model sensitive bytecode verification
description	10.1007/s10703-007-0041-6
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Huynh, T.Q. Roychoudhury, A.
format	Article
author	Huynh, T.Q. Roychoudhury, A.
author_sort	Huynh, T.Q.
title	Memory model sensitive bytecode verification
title_short	Memory model sensitive bytecode verification
title_full	Memory model sensitive bytecode verification
title_fullStr	Memory model sensitive bytecode verification
title_full_unstemmed	Memory model sensitive bytecode verification
title_sort	memory model sensitive bytecode verification
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39828
_version_	1781411064316952576

Memory model sensitive bytecode verification

Similar Items