Proof of Correctness of Data Representations

Míreanna comhchosúla

• Program Correctness Proofs
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1975)
• Proof of a Program: FIND
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1971)
• Proof of a Structured Program: ‘The Sieve of Eratosthenes'
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1972)
• Proof of a Recursive Program: Quicksort
  de réir: Foley, M, et al.
  Foilsithe / Cruthaithe: (1971)
• Design and Proof of a Mail Service
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1987)