Axiomatizing schemes and their behaviors
Journal of Computer and System Sciences
Algebraic approaches to program semantics
Algebraic approaches to program semantics
Communications of the ACM
On flowchart theories. Part I. The deterministic case
Journal of Computer and System Sciences
On flowchart theories: part II. The nondeterministic case
Theoretical Computer Science
Equational logic of circular data type specification
Theoretical Computer Science
Varieties of iteration theories
SIAM Journal on Computing
Theoretical Computer Science - Special issue: Fourth workshop on mathematical foundations of programming semantics, Boulder, CO, May 1988
A Cayley theorem for boolean algebras
American Mathematical Monthly
Iteration theories of synchronization trees
Information and Computation
A New Incompleteness Result for Hoare's System
Journal of the ACM (JACM)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM
The Craft of Programming
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
On Hoare logic and Kleene algebra with tests
ACM Transactions on Computational Logic (TOCL)
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
A general framework for sound and complete Floyd-Hoare logics
ACM Transactions on Computational Logic (TOCL)
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
A logic for formal verification of quantum programs
ASIAN'09 Proceedings of the 13th Asian conference on Advances in Computer Science: information Security and Privacy
Fundamenta Informaticae
| Hi-index | 0.00 |