An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
A technique for software module specification with examples
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Systematic Programming: An Introduction
Systematic Programming: An Introduction
Schematic pseudocode for program constructs and its computer automation by SCHEMACODE
Communications of the ACM
SIGDOC '84 Proceedings of the 3rd annual international conference on Systems documentation
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
The use of APL for production applications: The concept of “throwaway code”
APL '76 Proceedings of the eighth international conference on APL
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
Organic program design: A programming method which mixes design and coding is espoused
ACM '75 Proceedings of the 1975 annual conference
An intermediate level dynamic storage capability
ACM SIGPLAN Notices
Structured programming with go to statements
Classics in software engineering
| Hi-index | 0.02 |