Logic and programming
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
Predicative programming Part I
Communications of the ACM
A generalized control structure and its formal definition
Communications of the ACM
The new math of computer programming
Communications of the ACM
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 48.22 |