A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Abstract data types and software validation
Communications of the ACM
Automatic Construction of Verification Condition Generators From Hoare Logics
Proceedings of the 8th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
A Methodology For Constructing Logic Programs
Fundamenta Informaticae
Hi-index | 0.00 |