The PegaSys System: Pictures as Formal Documentation of Large Programs.

Mark Moriconi Dwight F. Hare

Published in: ACM Trans. Program. Lang. Syst. (1986)

Keyphrases

fixpoint
automatic programming
formal methods
programming environment
image processing
formal specification
formal analysis
intermediate level
control structures