Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Communications of the ACM
Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
A mechanized theory of the &pi-calculus in Hol
Nordic Journal of Computing
Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Class-Based versus Object-Based: A Denotational Comparison
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Programming and Computing in HOL
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
Journal of Functional Programming
Journal of Functional Programming
A logic programming approach to the verification of functional-logic programs
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Denotational semantics for a program logic of objects
Mathematical Structures in 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
Proving Properties of Lazy Functional Programs with Sparkle
Central European Functional Programming School
An integrated proof language for imperative programs
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
A language for implementing arbitrary logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite
Electronic Notes in Theoretical Computer Science (ENTCS)
A PVS proof obligation generator for Lustre programs
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Finding unity in computational logic
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Refinement types for secure implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Term rewriting in logics of partial functions
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Denotational semantics for abadi and leino's logic of objects
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Supporting reasoning about functional programs: an operational approach
FP'95 Proceedings of the 1995 international conference on Functional Programming
VDM♣ meets LCF: domain-theoretic and topological aspects of VDM♣
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
The strategy challenge in SMT solving
Automated Reasoning and Mathematics
| Hi-index | 0.02 |