All for the Price of Few
No abstract available.
Related papers
- Promises are made to be broken: migrating R to strict semantics OOPSLA 2021
- Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata APLAS 2001
- Resource-Optimal Scheduling Using Priced Timed Automata TACAS 2004
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! ESOP 2008
- Charting Patterns on Price History ICFP 2001
- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets VMCAI 2009
- Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp JFP 2009
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata CAV 2001