Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-540-88194-0-10
DC FieldValue
dc.titleA formal soundness proof of region-based memory management for object-oriented paradigm
dc.contributor.authorCraciun, F.
dc.contributor.authorQin, S.
dc.contributor.authorChin, W.-N.
dc.date.accessioned2013-07-04T08:42:46Z
dc.date.available2013-07-04T08:42:46Z
dc.date.issued2008
dc.identifier.citationCraciun, F.,Qin, S.,Chin, W.-N. (2008). A formal soundness proof of region-based memory management for object-oriented paradigm. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5256 LNCS : 126-146. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-540-88194-0-10" target="_blank">https://doi.org/10.1007/978-3-540-88194-0-10</a>
dc.identifier.isbn354088193X
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/42075
dc.description.abstractRegion-based memory management has been proposed as a viable alternative to garbage collection for real-time applications and embedded software. In our previous work we have developed a region type inference algorithm that provides an automatic compile-time region-based memory management for object-oriented paradigm. In this work we present a formal soundness proof of the region type system that is the target of our region inference. More precisely, we prove that the object-oriented programs accepted by our region type system achieve region-based memory management in a safe way. That means, the regions follow a stack-of-regions discipline and regions deallocation never create dangling references in the store and on the program stack. Our contribution is to provide a simple syntactic proof that is based on induction and follows the standard steps of a type safety proof. In contrast the previous safety proofs provided for other region type systems employ quite elaborate techniques. © 2008 Springer Berlin Heidelberg.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-88194-0-10
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1007/978-3-540-88194-0-10
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume5256 LNCS
dc.description.page126-146
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

2
checked on Feb 13, 2020

Page view(s)

91
checked on Feb 19, 2020

Google ScholarTM

Check

Altmetric


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