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)

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)