SRC Technical Note 1997-030a

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.

Back to the SRC Technical Notes main page.

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

Publication history

• Note #1997-030. December 9, 1997.