Cleanroom Software Development: An Empirical Evaluation
IEEE Transactions on Software Engineering
A computational logic handbook
A computational logic handbook
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
A logical approach to discrete math
A logical approach to discrete math
FUDGETS: a graphical user interface in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Reasoned programming
Lag, drag, void and use—heap profiling and space-efficient compilation revisited
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
ACM Computing Surveys (CSUR)
ACM SIGPLAN Notices
Why no one uses functional languages
ACM SIGPLAN Notices
Domain specific embedded compilers
Proceedings of the 2nd conference on Domain-specific languages
An axiomatic basis for computer programming
Communications of the ACM - Special 25th Anniversary Issue
Communications of the ACM
Engineering Software Under Statistical Quality Control
IEEE Software
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Using data groups to specify and check side effects
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Software is discrete mathematics
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Computational logic in the undergraduate curriculum
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Hi-index | 0.00 |