Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
When is an extension of a specification consistent? Decidable and undecidable cases
Journal of Symbolic Computation
Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
Total correctness by local improvement in program transformation
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Total correctness by local improvement in the transformation of functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |