Learning to program = learning to construct mechanisms and explanations
Communications of the ACM
ARIADNE: pattern-directed inference and hierarchical abstraction in protein structure recognition
Communications of the ACM
Program Translation Via Abstraction and Reimplementation
IEEE Transactions on Software Engineering
Designing documentation to compensate for delocalized plans
Communications of the ACM
Providing the requisite knowledge via software documentation
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
SRE: a knowledge-based environment for large-scale software re-engineering activities
ICSE '89 Proceedings of the 11th international conference on Software engineering
A program integration algorithm that accommodates semantics-preserving transformations
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A program integration algorithm that accommodates semantics-preserving transformations
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
Precedent-based manipulation of VLSI structures
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
DAC '83 Proceedings of the 20th Design Automation Conference
Design principles for software manufacturing tools
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Just so stories: how the program got that bug
ACM SIGCUE Outlook
Hi-index | 0.05 |
Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or {\it cliches}. Examples are given of program analysis, program synthesis and program validation by inspection. A formalism, called the Plan Calculus, is defined and used to represent programming cliches in a convenient, canonical, and programming-language independent fashion.