System structure and software maintenance performance
Communications of the ACM
An intelligent discovery programming system
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Loop exits and structured programming: reopening the debate
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Communications of the ACM
What is programming really all about?
ACM SIGPLAN Notices
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Fighting the disease: more comments after Dijkstra and Tompking
ACM SIGPLAN Notices
Hi-index | 0.03 |