dc.contributor.author | Bagge, Anya Helene | eng |
dc.contributor.author | Haveraaen, Magne | eng |
dc.date.accessioned | 2015-04-15T12:15:48Z | |
dc.date.available | 2015-04-15T12:15:48Z | |
dc.date.issued | 2009-10-10 | eng |
dc.identifier.issn | 1571-0661 | en_US |
dc.identifier.uri | https://hdl.handle.net/1956/9801 | |
dc.description.abstract | Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code properties that may be very useful for, e.g., compiler optimisation and automated testing. Although such information is sometimes written down in a formal or informal specification, it is generally not accessible to compilers and other tools. However, using the idea of concepts and axioms in the upcoming C++ standard, we may embed axioms with program code. In this paper, we sketch how such axioms can be interpreted as rewrite rules and test oracles. Rewrite rules together with user-defined transformation strategies allow us to implement program or library-specific optimisations. | en_US |
dc.language.iso | eng | eng |
dc.publisher | Elsevier | en_US |
dc.rights | Attribution-NonCommercial-NoDerivs CC BY-NC-ND | eng |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/ | eng |
dc.subject | rewrite rules | eng |
dc.subject | axioms | eng |
dc.subject | optimisation | eng |
dc.subject | testing | eng |
dc.subject | C++ | eng |
dc.subject | concepts | eng |
dc.title | Axiom-Based Transformations: Optimisation and Testing | en_US |
dc.type | Peer reviewed | |
dc.type | Journal article | |
dc.date.updated | 2015-03-31T14:13:44Z | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | Copyright 2009 Elsevier B.V. | en_US |
dc.identifier.doi | https://doi.org/10.1016/j.entcs.2009.09.038 | |
dc.identifier.cristin | 357315 | |
dc.source.journal | Electronical Notes in Theoretical Computer Science | |
dc.source.40 | 238 | |
dc.source.14 | 5 | |
dc.source.pagenumber | 17-33 | |
dc.subject.nsi | VDP::Mathematics and natural scienses: 400::Information and communication science: 420::System development and design: 426 | en_US |
dc.subject.nsi | VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Systemutvikling og -arbeid: 426 | nob |