Programs for cheap!

DOI10.1109/LICS.2015.21MaRDI QIDQ4635797zbMATH OpenFDO

Authors Jennifer Hackett, Graham Hutton

Publication date 23 April 2018

Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

optimisationtheorem provingprogram control structures

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 3960974
• On the power of recursive optimizers
• Improvements for free
• Foundation of algorithms of optimization of programs
• Fold and unfold for program semantics

Cited in

(3)

• scientific article; zbMATH DE number 3856423 (Why is no real title available?)
• Notions of computation as monoids
• Cheap CTL compassion in NuSMV

Describes a project that uses

Uses Software

• nofib
• HERMIT

This page was built for publication: Programs for cheap!

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635797)