Programs for cheap!

DOI10.1109/LICS.2015.21zbMATH Open1401.68041MaRDI QIDQ4635797FDOQ4635797

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)

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

zbMATH Keywords

optimisationtheorem provingprogram control structures

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Notions of computation as monoids
• Cheap CTL compassion in NuSMV

Uses Software

• HERMIT
• nofib

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)