David A. Naumann

Whither Programs as Specifications

2019 · arXiv (Cornell University)

Unifying theories distil common features of programming languages and design methods by means of algebraic operators and their laws. Several practical concerns --- e.g., improvement of a program, conformance of code with design, correctness with …