From Dynamic Programming to Greedy Algorithms (1992)

View PDF

Download Links

by Richard Bird , Oege De Moor
Venue:Formal Program Development, volume 755 of Lecture Notes in Computer Science
Citations:14 - 3 self

Active Bibliography

467 Comprehending Monads – Philip Wadler - 1992
859 The Temporal Logic of Actions – Leslie Lamport - 1993
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
486 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
7 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
456 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
425 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001