HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Type Synthesis in B and the Translation of B to PVS
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Journal of Functional Programming
The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus
Theoretical Computer Science
Fixed point semantics and partial recursion in Coq
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Using Structural Recursion for Corecursion
Types for Proofs and Programs
Some Domain Theory and Denotational Semantics in Coq
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Monad-independent Hoare logic in HasCasl
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Axiomatic constructor classes in Isabelle/HOLCF
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Advanced Lectures on Software Engineering
Supporting reasoning about functional programs: an operational approach
FP'95 Proceedings of the 1995 international conference on Functional Programming
Hi-index | 0.00 |