Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
A symmetric, top-down structured approach to computer program/proof development.
A symmetric, top-down structured approach to computer program/proof development.
The 'natural' set of basic control structures
ACM SIGPLAN Notices
Structured programming
Hi-index | 0.00 |