Static techniques for reducing memory usage in the C implementation of whiley programs

Min-Hsien Weng; Bernhard Pfahringer; Mark Utting

doi:10.1145/3014812.3014827

Back

Static techniques for reducing memory usage in the C implementation of whiley programs

Conference paper

Open access

Peer reviewed

Static techniques for reducing memory usage in the C implementation of whiley programs

Min-Hsien Weng, Bernhard Pfahringer and Mark Utting

Proceedings of the Australasian Computer Science Week Multiconference, 15

Australasian Computer Science Week Multiconference (Geelong, Australia, 31-Jan-2017–03-Feb-2017)

Association for Computer Machinery

2017

DOI: https://doi.org/10.1145/3014812.3014827

Files and links (2)

pdf

PDF - Author Accepted Version282.40 kBDownload View

Accepted VersionPDF - Author Accepted Version Open Access

url

https://doi.org/10.1145/3014812.3014827View

Published Version

Abstract

memory usage

whiley programs

static analysis

copy elimination

compiler

Languages that use call-by-value semantics, such as Whiley, can make program verification easier. But efficient 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 without garbage collection. We show that this allows Whiley programs to be translated into efficient C implementation.

Details

Title: Static techniques for reducing memory usage in the C implementation of whiley programs
Authors: Min-Hsien Weng (Author) - University of Waikato, New Zealand
Bernhard Pfahringer (Author) - University of Waikato, New Zealand
Mark Utting (Author) - University of the Sunshine Coast - Faculty of Arts, Business and Law
Publication details: Proceedings of the Australasian Computer Science Week Multiconference, 15; 8
Conference details: Australasian Computer Science Week Multiconference (Geelong, Australia, 31-Jan-2017–03-Feb-2017)
Publisher: Association for Computer Machinery
Date published: 2017
DOI: 10.1145/3014812.3014827
ISBN: 9781450347686
Copyright note: Copyright © 2017 ACM. 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 the Australasian Computer Science Week Multiconference, 2017, http://doi.acm.org/10.1145/3014812.3014827
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99450459202621
Output Type: Conference paper

Metrics

65 File views/ downloads

611 Record Views