Logic programming in the LF logical framework
Logical frameworks
Experiments with proof plans for induction
Journal of Automated Reasoning
Set theory for verification. I: from foundations to functions
Journal of Automated Reasoning
IsaWhelk: Whelk interpreted in Isabelle (abstract)
Proceedings of the eleventh international conference on Logic programming
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Deriving and Applying Logic Program Transformers
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Generic System Support for Deductive Program Development
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Modeling a Hardware Synthesis Methodology in Isabelle
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
A Roadmap to Metacomputation by Supercompilation
Selected Papers from the Internaltional Seminar on Partial Evaluation
Correct and User-Friendly Implementations of Transformation Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Hi-index | 0.00 |