BORA - UiB

Bergen Open Research Archive

Type Systems for Resource Use in Component Software

Bergen Open Research Archive

Show simple item record

dc.contributor.author Hovland, Dag
dc.date.accessioned 2007-10-26T07:02:14Z
dc.date.available 2007-10-26T07:02:14Z
dc.date.issued 2006
dc.identifier.uri http://hdl.handle.net/1956/2396
dc.description.abstract In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it could be more abstract physical resources, like computing time, memory usage, or writing some file to disk or it could be other software components or programs. The resources can be used directly by the program, or indirectly, through the use of libraries or other software. An important property of these resources is their externally, often physically, enforced limits, which are independent of program execution. Finding maximum and minimum number of active or used instances of these resources at some point during execution can be difficult and demand time from both programmer and computer. But this can also be important for safe execution. As a silly example, a program which every minute allocates, but fails to deallocate, 1 byte of memory, will at some point fail, while runtime testing might not reveal this before it is run for a week. Many of the new mobile and low-cost devices (e.g. the hundred dollar laptop http://laptop.org ) would probably also benefit from provable upper limits on the usage of some resources, like writing to the disk or memory. Developing static systems for finding some of these limits, is the goal in which this thesis hopes to take part. With “static” I mean systems which analyse the source code, not the execution of the compiled program. en
dc.language.iso eng en
dc.publisher The University of Bergen en
dc.rights Copyright the author. All rights reserved en
dc.title Type Systems for Resource Use in Component Software en
dc.type Master thesis
dc.subject.nsi VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421 no
dc.rightsHolder The author en
dc.subject.archivecode Mastergrad


Files in this item

 

This item appears in the following Collection(s)

Show simple item record

Search BORA


Browse

My Account