Journal of the ACM (JACM)
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Box structured information systems
IBM Systems Journal
Escape analysis: correctness proof, implementation and experimental results
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Recursion in logics of programs
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theoretical Computer Science - Logic, semantics and theory of programming
Category Theoretic Models of Data Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Semantics of non-deterministic possibility computation
Fuzzy Sets and Systems
| Hi-index | 0.01 |