Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract)
Abstract elided by the publisher.
Related papers
- Toupie = µ-Calculus + Constraints CAV 1995
- Trace-based control-flow analysis PLDI 2021
- Cost-Optimal Code Motion TOPLAS 1998
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems TACAS 1995
- Closure Analysis in Constraint Form TOPLAS 1995
- Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory POPL 2026
- Using decision rules for solving conflicts in extended feature models SLE 2015
- Cybertron: pushing the limit on I/O reduction in data-parallel programs OOPSLA 2014