A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Communications of the ACM
Copying list structures using bounded workspace
Communications of the ACM
An efficient machine-independent procedure for garbage collection in various list structures
Communications of the ACM
The evolution of list-copying algorithms and the need for structured program verification
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algorithmic Language and Program Development
Algorithmic Language and Program Development
On Backtracking and Greatest Fixpoints
Proceedings of the Fourth Colloquium on Automata, Languages and Programming
A Study on Transformational Semantics
Program Construction, International Summer Schoo
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm
Program Construction, International Summer Schoo
Development of the Schorr-Waite Algorithm
Program Construction, International Summer Schoo
The Schorr-Waite Graph Marking Algorithm
Program Construction, International Summer Schoo
Abstractions, instantiations, and proofs of marking algorithms
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Derivation of efficient DAG marking algorithms
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Efficient applicative data types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Dafny: an automatic program verifier for functional correctness
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
| Hi-index | 0.00 |