A case study in proof based synthesis of algorithms on monotone lists.

Isabela Dramnesc, Tudor Jebelean

Browse the full SACI paper archive.