Show simple item record  

dc.contributor.authorWeng, Min-Hsienen_NZ
dc.contributor.authorPfahringer, Bernharden_NZ
dc.contributor.authorUtting, Marken_NZ
dc.coverage.spatialGeelong, Australiaen_NZ
dc.date.accessioned2017-05-21T23:55:54Z
dc.date.available2017en_NZ
dc.date.available2017-05-21T23:55:54Z
dc.date.issued2017en_NZ
dc.identifier.citationWeng, M.-H., Pfahringer, B., & Utting, M. (2017). Static techniques for reducing memory usage in the C implementation of Whiley programs. In Proceedings of Australasian Computer Science Week Multiconference, ACSW ’17, January 30-February 03, 2017, Article No. 15. New York, USA: ACM. https://doi.org/10.1145/3014812.3014827en
dc.identifier.isbn9781450347686en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/11067
dc.description.abstractLanguages that use call-by-value semantics, such as Whiley, can make program verification easier. But effcient implementation becomes harder, due to the overhead of copying and garbage collection. This paper describes how a mixture of static analysis and runtime-monitoring can be used to eliminate unnecessary copying and deallocate memory with- out garbage collection. We show that this allows Whiley programs to be translated into effcient C implementations.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherACMen_NZ
dc.rights© ACM, 2017. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of Australasian Computer Science Week Multiconference, ACSW '17, http://dl.acm.org/citation.cfm?doid=3014812.3014827.
dc.sourceACSW'17en_NZ
dc.subjectComputer science
dc.subjectStatic Analysis
dc.subjectCopy Elimination
dc.subjectCompiler
dc.subjectMachine learning
dc.titleStatic techniques for reducing memory usage in the C implementation of Whiley programsen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1145/3014812.3014827en_NZ
dc.relation.isPartOfProceedings of Australasian Computer Science Week Multiconference, ACSW '17en_NZ
pubs.elements-id193204
pubs.finish-date2017-02-03en_NZ
pubs.place-of-publicationNew York, USA
pubs.publication-statusPublisheden_NZ
pubs.start-date2017-01-30en_NZ
uow.identifier.article-no15


Files in this item

This item appears in the following Collection(s)

Show simple item record