Static techniques for reducing memory usage in the C implementation of whiley programs
| Autor: | Min-Hsien Weng, Bernhard Pfahringer, Mark Utting |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Manual memory management
Copying Programming language Semantics (computer science) Computer science 020207 software engineering 0102 computer and information sciences 02 engineering and technology Static analysis computer.software_genre 01 natural sciences 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Overhead (computing) Compiler computer Implementation Garbage collection |
| Zdroj: | ACSW |
| DOI: | 10.1145/3014812.3014827 |
| Popis: | 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 implementations. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|