Programming from specifications
Programming from specifications
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
A static analyzer for finding dynamic programming errors
Software—Practice & Experience
Letters to the editor: go to statement considered harmful
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
A high-speed sorting procedure
Communications of the ACM
A Discipline of Programming
Science of Computer Programming
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Debugging aspect-enabled programs
SC'07 Proceedings of the 6th international conference on Software composition
| Hi-index | 0.03 |
It was my early experience in industry that triggered my interest in assertions and their in-program proofs; and my subsequent research at university extended the idea into a methodology for the specification and design of programs. Now that I have returned to work in industry, I have looked into the current role of assertions in industrial program development. My personal perspective illustrates the complementary roles of pure research, aimed at academic ideals of excellence, and the unexpected ways in which the results of such research contribute to the gradual improvement of engineering practice.