References

Books and Documents

Backhouse, Roland. Program Construction: Calculating Implementations from Specifications. Wiley, 2003.

Dijkstra, Edsger W. A Discipline of Programming. Prentice Hall, 1976.

Dijkstra, Edsger W. and Scholten, Carel S. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.

Gries, David. The Science of Programming. Springer-Verlag, 1981.

Kaldewaij, Anne. Programming - the Derivation of Algorithms. Prentice Hall, 1990.

Morgan, C. Carroll. Programming from Specifications, Second Edition. Prentice Hall, 1994.

Edsger W. Dijkstra Archive, 1962-2002. Hosted by The University of Texas at Austin.

Related Courses

Cunningham, H. Conrad. Program Semantics and Derivation (CSci 550), University of Mississippi, 2006.

Morgan, C. Carroll. (In-)Formal Methods: the Lost Art (COMP 6721), University of New South Wales, 2021.

Reynolds, John C. Introduction to Separation Logic (15-818A3), Carnegie Mellon University, 2011.

Tsay, Yih-Kuen. Software Specification and Verification (軟體規格與驗證), Dep. of Info. Management, National Taiwan University, 2024.

Formosan Summer School on Logic, Language, and Computation (FLOLAC, 邏輯、語言與計算暑期研習營), since 2007.