Language-Based Program Verification via Expressive Types

10.1016/j.entcs.2006.10.041

Saved in:

Bibliographic Details
Main Authors:	Sulzmann, M., Voicu, R.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	resource usage verification type error reporting type inference verifying sortedness
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39801
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39801
record_format	dspace
spelling	sg-nus-scholar.10635-398012024-11-11T03:03:45Z Language-Based Program Verification via Expressive Types Sulzmann, M. Voicu, R. COMPUTER SCIENCE resource usage verification type error reporting type inference verifying sortedness 10.1016/j.entcs.2006.10.041 Electronic Notes in Theoretical Computer Science 174 7 129-147 2013-07-04T07:49:53Z 2013-07-04T07:49:53Z 2007 Article Sulzmann, M., Voicu, R. (2007). Language-Based Program Verification via Expressive Types. Electronic Notes in Theoretical Computer Science 174 (7) : 129-147. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2006.10.041 15710661 http://scholarbank.nus.edu.sg/handle/10635/39801 000214233000009 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	resource usage verification type error reporting type inference verifying sortedness
spellingShingle	resource usage verification type error reporting type inference verifying sortedness Sulzmann, M. Voicu, R. Language-Based Program Verification via Expressive Types
description	10.1016/j.entcs.2006.10.041
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Sulzmann, M. Voicu, R.
format	Article
author	Sulzmann, M. Voicu, R.
author_sort	Sulzmann, M.
title	Language-Based Program Verification via Expressive Types
title_short	Language-Based Program Verification via Expressive Types
title_full	Language-Based Program Verification via Expressive Types
title_fullStr	Language-Based Program Verification via Expressive Types
title_full_unstemmed	Language-Based Program Verification via Expressive Types
title_sort	language-based program verification via expressive types
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39801
_version_	1821207634212028416

Language-Based Program Verification via Expressive Types

Similar Items