A framework for program verification in the context of linked structures and pointer variables
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Transformational Construction of Correct Pointer Algorithms
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
FUNCTIONAL PEARL: Unfolding pointer algorithms
Journal of Functional Programming
Formal Verification of C Systems Code
Journal of Automated Reasoning
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Calculational derivation of algorithms on tree-based pointer structures
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
| Hi-index | 0.00 |