A formal soundness proof of region-based memory management for object-oriented paradigm

Hdl Handle:
http://hdl.handle.net/10149/110663
Title:
A formal soundness proof of region-based memory management for object-oriented paradigm
Book Title:
Formal methods and software engineering
Authors:
Craciun, F. (Florin); Qin, S. (Shengchao); Chin, W-N. (Wei-Ngan)
Editors:
Liu, S. (Shaoying); Maibaum, T. (Tom); Araki, K. (Keijiro)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Craciun, F., Qin, S. and Chin, W-N. (2008) 'A formal soundness proof of region-based memory management for object-oriented paradigm', 10th international conference on formal methods and software engineering, in Liu, S., Maibaum, T. and Araki, K. (eds) Formal methods and software engineering. Springer Verlag, pp.126-146.
Publisher:
Springer Verlag
Conference:
10th international conference on formal methods and software engineering
Issue Date:
2008
URI:
http://hdl.handle.net/10149/110663
DOI:
10.1007/978-3-540-88194-0-10
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
region-based memory management; formal soundness proof; object-oriented programs
Series/Report no.:
Lecture notes in computer science; 5256
ISBN:
9783540881933
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]
Citation Count:
0 [Scopus, 03/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorCraciun, F. (Florin)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorLiu, S. (Shaoying)en
dc.contributor.editorMaibaum, T. (Tom)en
dc.contributor.editorAraki, K. (Keijiro)en
dc.date.accessioned2010-09-03T14:50:12Z-
dc.date.available2010-09-03T14:50:12Z-
dc.date.issued2008-
dc.identifier.isbn9783540881933-
dc.identifier.doi10.1007/978-3-540-88194-0-10-
dc.identifier.urihttp://hdl.handle.net/10149/110663-
dc.language.isoenen
dc.publisherSpringer Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries5256en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]en
dc.subjectregion-based memory managementen
dc.subjectformal soundness proofen
dc.subjectobject-oriented programsen
dc.titleA formal soundness proof of region-based memory management for object-oriented paradigmen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.title.bookFormal methods and software engineeringen
dc.identifier.conference10th international conference on formal methods and software engineeringen
ref.citationcount0 [Scopus, 03/09/2010]en
or.citation.harvardCraciun, F., Qin, S. and Chin, W-N. (2008) 'A formal soundness proof of region-based memory management for object-oriented paradigm', 10th international conference on formal methods and software engineering, in Liu, S., Maibaum, T. and Araki, K. (eds) Formal methods and software engineering. Springer Verlag, pp.126-146.-
prism.startingPage126-
prism.endingPage146-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.