dc.contributor.author | Truong, Anh Hoang | eng |
dc.contributor.author | Bezem, Marcus A. | eng |
dc.date.accessioned | 2006-05-09T09:15:00Z | |
dc.date.available | 2006-05-09T09:15:00Z | |
dc.date.issued | 2005-10-17 | eng |
dc.Published | Lecture Notes in Computer Science 2005 3722: 227-241 | |
dc.identifier.isbn | 3-540-29107-5 | en_US |
dc.identifier.uri | https://hdl.handle.net/1956/1174 | |
dc.description.abstract | A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from standardized, reusable components which, in turn, may also composed from other components. Due to the independent development and reuse of components, component software has a high risk of causing out-of-resource exceptions. We present a small component language and develop a type system which can statically prevent this type of errors . This work continues our previous works by including explicit deallocation. We prove that the type system is sound with respect to safe deallocation and that sharp resource bounds can be computed statically. | en_US |
dc.description.sponsorship | This research was supported by the Research Council of Norway (NFR) | eng |
dc.format.extent | 168317 bytes | eng |
dc.format.mimetype | application/pdf | eng |
dc.language.iso | eng | eng |
dc.publisher | Springer Berlin Heidelberg | en_US |
dc.subject | Type systems | eng |
dc.subject | Resource control | eng |
dc.title | Finding Resource Bounds in the Presence of Explicit Deallocation | en_US |
dc.type | Journal article | |
dc.identifier.doi | https://doi.org/10.1007/11560647_15 | |
dc.subject.nsi | VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421 | nob |