SRC Research Report 11

Control Predicates Are Better Than Dummy Variables For Reasoning About Program Control.

Leslie Lamport.

When explicit control predicates rather than dummy variables are used, the Owicki-Gries method for proving safety properties of concurrent programs can be strengthened, making it easier to construct the required program annotations.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 96 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 76 Kbytes
  
• PostScript compressed with ZIP -- 76 Kbytes
  
• PostScript -- 184 Kbytes
  
• Portable Document Format (PDF) -- 160 Kbytes