Mathematics of Program Construction (MPC)

A conference, workshop or journal: the thing that recurs, across all its years.

A small biennial conference on deriving programs from specifications: calculational methods, algebra of programming, and the mathematics of getting from a problem statement to code that provably solves it.

Part of Lecture Notes in Computer Science.

1 reference