Rights statement: This is the author’s version of a work that was accepted for publication in Science of Computer Programming. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Science of Computer Programming, 150, 2017 DOI: 10.1016/j.scico.2017.06.011
Accepted author manuscript, 785 KB, PDF document
Available under license: CC BY-NC-ND: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
Final published version
Research output: Contribution to Journal/Magazine › Journal article › peer-review
<mark>Journal publication date</mark> | 15/12/2017 |
---|---|
<mark>Journal</mark> | Science of Computer Programming |
Volume | 150 |
Number of pages | 19 |
Pages (from-to) | 56-74 |
Publication Status | Published |
Early online date | 29/06/17 |
<mark>Original language</mark> | English |