Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
SESPSDE86 ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments
The Turing programming language
Communications of the ACM
Communications of the ACM
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Formal development programs and proofs
Formal development programs and proofs
Constructive type theory: a perspective from computing science
Formal development programs and proofs
Influences (or lack thereof) of formalism in teaching programming and software engineering
Formal development programs and proofs
Deciding Linear Inequalities by Computing Loop Residues
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
An axiomatic basis for computer programming
Communications of the ACM
Automating proofs of the absence of common runtime errors
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Implementation of an array bound checker
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A view of program verification
Proceedings of the international conference on Reliable software
Hi-index | 0.00 |