Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
Logic of Programs, Workshop
An ideal model for recursive polymorphic types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inductive Completeness of Logics of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Completeness of Dynamic Logic
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Verifying Cryptographic Software Correctness with Respect to Reference Implementations
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Reasoning in dynamic logic about program termination
Pillars of computer science
Deductive verification of cryptographic software
Innovations in Systems and Software Engineering
Descriptive and relative completeness of logics for higher-order functions
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Formal verification of side-channel countermeasures using self-composition
Science of Computer Programming
Hi-index | 0.01 |