Axiom-Based Transformations: Optimisation and Testing | Zendy

Anya Helene Bagge | Zendy; Magne Haveraaen | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Axiom-Based Transformations: Optimisation and Testing

Author(s) -

Anya Helene Bagge,

Magne Haveraaen

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.09.038

Subject(s) - axiom , sketch , computer science , compiler , programming language , program transformation , transformation (genetics) , code (set theory) , theoretical computer science , algorithm , mathematics , set (abstract data type) , biochemistry , chemistry , geometry , gene

Programmers typically have knowledge about properties of their programs thataren't explicitly expressed in the code properties that may be very useful for,e.g., compiler optimisation and automated testing. Although such information issometimes written down in a formal or informal specification, it is generally notaccessible to compilers and other tools. However, using the idea of concepts andaxioms 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 testoracles. Rewrite rules together with user-defined transformation strategies allow usto implement program or library-specific optimisations

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research