[lemma=program] □
[lemma=program] □ □
[lemma=program] □*
The management programs specify what best management practices ( BMPs ) will be used to address certain program areas . Van Emden [ 14 ] describes how Floyds ( formal ) method for the verification of flowcharts can be adapted to the informal derivation of programs using what he calls an inspection protocol : basically a technique that can enhance the ease of the code inspection process . Gerald Weinberg 's classic The Psychology of Computer Programming supplied what , in hindsight , we can see as a vital correction to Brooks . ASP is a Mickey mouse ' programming language ' - an insult to programming - what makes it worse is that loads of ' Mickey Mice ' out there hacked out lots of web sites which poor saps like us have to try and unravel - personally I 'd rather eat poison than work on ASP - it 's much the same kind of experience after all . The Effective Health Care Program summarizes what is known about whether a specific treatment or clinical practice helps a specific health condition .