Communications of the ACM
What is to become of programming?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Verification of Ada 1/0 statements
ACM SIGCSE Bulletin
On the design of some systolic algorithms
Journal of the ACM (JACM)
Deriving programs using generic algorithms
IBM Systems Journal
The Dutch national flag problem revisited as an introductory abstract data type
ACM SIGCSE Bulletin
Safety Assurance in Process Control
IEEE Software
Effective use of assertions in C++
ACM SIGPLAN Notices
Dependency analysis of Ada programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
Algebra of Program Termination
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Algebra of program termination
Algebraic and coalgebraic methods in the mathematics of program construction
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Automatic derivation of loop termination conditions to support verification
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Journal of Functional Programming
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Building Verification Condition Generators by Compositional Extensions
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A tool for helping teach a programming method
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Constructing contracts: Making discrete mathematics relevant to beginning programmers
Journal on Educational Resources in Computing (JERIC)
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Proving loop termination: Beyond the traditional method
Journal of Computational Methods in Sciences and Engineering
Exercises in quantifier manipulation
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Improving saddleback search: a lesson in algorithm design
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Simple O(m log n) time Markov chain lumping
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
| Hi-index | 0.02 |