6 citations · 10 across the 2 of their papers we have counts for
1 paper · 1 filter
David A. Plaisted
The system PL permits the translation of abstract proofs of program correctness into programs in a variety of programming languages. A programming language satisfying certain axiom…