IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Surveyor's Forum: An Amplification on Hydra's Capabilities
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Corrigendum: “A Sampler of Formal Definitions”
ACM Computing Surveys (CSUR)
A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assignment and Procedure Call Proof Rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
A critique of the foundations of Hoare style programming logics
Communications of the ACM
Logic and programming languages
Communications of the ACM
Unrestricted procedure calls in Hoare's logic
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program verification based on denotation semantics
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Operational Characterization of Genre in Literary and Real-life Domains
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
On the theory of programming logics
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
ACM SIGPLAN Notices
Reasoning about recursive procedures with parameters
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
On the semantics of control statements
ACM SIGPLAN Notices
Some verification problems in Pascal-like languages
ACM SIGSOFT Software Engineering Notes
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
Watchdog Processors and Structural Integrity Checking
IEEE Transactions on Computers
| Hi-index | 0.03 |