Design by Contract: Procedural Abstraction

13 Outubro 2021, 16:30 • Antónia Lopes

Design by contract: Contracts for Procedural Abstraction

• Compositional reasonig
• DbC in Dafny
• Additional specification primitives: quantifiers, read and write frames 

Hoare Logic versus Design by Contract