SRC Technical Note 1997-030

Composition: A Way to Make Proofs Harder

Leslie Lamport

Compositional reasoning about a system means writing its specification as the parallel composition of components and reasoning separately about each component. When distracting language issues are removed and the underlying mathematics is revealed, compositional reasoning is seen to be of little use.

• PostScript compressed with UNIX compress -- 144 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 120 Kbytes
  
• PostScript compressed with ZIP -- 120 Kbytes
  
• PostScript -- 264 Kbytes
  
• Portable Document Format (PDF) -- 144 Kbytes