1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.entcs.2006.10.041
DC FieldValue
dc.titleLanguage-Based Program Verification via Expressive Types
dc.contributor.authorSulzmann, M.
dc.contributor.authorVoicu, R.
dc.date.accessioned2013-07-04T07:49:53Z
dc.date.available2013-07-04T07:49:53Z
dc.date.issued2007
dc.identifier.citationSulzmann, 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
dc.identifier.issn15710661
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/39801
dc.description.abstractRecent developments in the area of expressive types have the prospect to supply the ordinary programmer with a programming language rich enough to verify complex program properties. Program verification is made possible via tractable type checking. We explore this possibility by considering two specific examples; verifying sortedness and resource usage verification. We show that advanced type error diagnosis methods become essential to assist the user in case of type checking failure. Our results point out new research directions for the development of programming environments in which users can write and verify their programs. © 2007 Elsevier B.V. All rights reserved.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1016/j.entcs.2006.10.041
dc.sourceScopus
dc.subjectresource usage verification
dc.subjecttype error reporting
dc.subjecttype inference
dc.subjectverifying sortedness
dc.typeArticle
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1016/j.entcs.2006.10.041
dc.description.sourcetitleElectronic Notes in Theoretical Computer Science
dc.description.volume174
dc.description.issue7
dc.description.page129-147
dc.identifier.isiut000214233000009
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.