Analysing memory resource bounds for low-level programs

Hdl Handle:
http://hdl.handle.net/10149/113881
Title:
Analysing memory resource bounds for low-level programs
Book Title:
Proceedings of the 7th international symposium on memory management
Authors:
Chin, W-N. (Wei-Ngan); Nguyen, H. H. (Huu Hai); Popeea, C. (Corneliu); Qin, S. (Shengchao)
Affiliation:
Durham University
Citation:
Chin, W-N. et. al. (2008) 'Analysing memory resource bounds for low-level programs', International symposium on memory management, Tucson, Arizona, June 7-8 2008, in Proceedings. New York: ACM, pp.151-160.
Publisher:
ACM
Conference:
International symposium on memory management, Tucson, Arizona, June 7-8 2008
Issue Date:
2008
URI:
http://hdl.handle.net/10149/113881
DOI:
10.1145/1375634.1375656
Additional Links:
http://portal.acm.org/citation.cfm?id=1375634.1375656
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
fixpoint analysis; heap space analyis; low level programs; stack space analysis
ISBN:
9781605581347
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 27/10/2010]
Citation Count:
7 [Scopus, 27/10/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.authorNguyen, H. H. (Huu Hai)en
dc.contributor.authorPopeea, C. (Corneliu)en
dc.contributor.authorQin, S. (Shengchao)en
dc.date.accessioned2010-10-27T14:35:18Z-
dc.date.available2010-10-27T14:35:18Z-
dc.date.issued2008-
dc.identifier.isbn9781605581347-
dc.identifier.doi10.1145/1375634.1375656-
dc.identifier.urihttp://hdl.handle.net/10149/113881-
dc.language.isoenen
dc.publisherACMen
dc.relation.urlhttp://portal.acm.org/citation.cfm?id=1375634.1375656en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 27/10/2010]en
dc.subjectfixpoint analysisen
dc.subjectheap space analyisen
dc.subjectlow level programsen
dc.subjectstack space analysisen
dc.titleAnalysing memory resource bounds for low-level programsen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham Universityen
dc.title.bookProceedings of the 7th international symposium on memory managementen
dc.identifier.conferenceInternational symposium on memory management, Tucson, Arizona, June 7-8 2008en
ref.citationcount7 [Scopus, 27/10/2010]en
or.citation.harvardChin, W-N. et. al. (2008) 'Analysing memory resource bounds for low-level programs', International symposium on memory management, Tucson, Arizona, June 7-8 2008, in Proceedings. New York: ACM, pp.151-160.-
prism.startingPage151-
prism.endingPage160-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.