A logic programming approach to predict effective compiler settings for embedded software

DOI10.1017/S1471068415000174zbMath1379.68043OpenAlexW2771920644WikidataQ122998362 ScholiaQ122998362MaRDI QIDQ4592992

Craig Blackmore, Kerstin Eder, Oliver Ray

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068415000174

zbMATH Keywords

embedded systeminductive logic programmingcompiler optimisation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17)

Uses Software

• Milepost GCC

Cites Work

• Inductive Logic Programming: Theory and methods

This page was built for publication: A logic programming approach to predict effective compiler settings for embedded software