Abstract

Open problems in programming methodology.