Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Experiments with a Heuristic Compiler
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
Automatic Theorem Proving With Renamable and Semantic Resolution
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
Formalization of Properties of Functional Programs
Journal of the ACM (JACM)
The nucleus of a multiprogramming system
Communications of the ACM
Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Second-order mathematical theory of computation
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
An interpretation oriented theorem prover over integers
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Translating recursion equations into flow charts
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Formalization of properties of recursively defined functions
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Toward a man-machine system for proving program correctness
Toward a man-machine system for proving program correctness
A program verifier
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The unit preference strategy in theorem proving
AFIPS '64 (Fall, part I) Proceedings of the October 27-29, 1964, fall joint computer conference, part I
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Software for Roundoff Analysis
ACM Transactions on Mathematical Software (TOMS)
Programming and Documenting Software Projects
ACM Computing Surveys (CSUR)
An Approach to Program Testing
ACM Computing Surveys (CSUR)
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys (CSUR)
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A model for verification of data security in operating systems
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
The synthesis of loop predicates
Communications of the ACM
Two languages for estimating program efficiency
Communications of the ACM
Certification of algorithm 386 [A1]
Communications of the ACM
Dynamic verification of operating system decisions
Communications of the ACM
Pascal program development aids
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
Formal verification of a real-time hardware design
DAC '83 Proceedings of the 20th Design Automation Conference
Symbolic interpretation and tracing of PASCAL-programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Four models for the analysis and optimization of program control structures
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Procedure for testing microprograms
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
DAC '73 Proceedings of the 10th Design Automation Workshop
Toward mechanical verification of properties of roundoff error propagation
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Allegations as aids to static program testing
ACM '76 Proceedings of the 1976 annual conference
SIGSOFT tutorial on program verification (Tutorial Session)
ACM '76 Proceedings of the 1976 annual conference
A tool for enforcing system structure
ACM '73 Proceedings of the ACM annual conference
A minisystem programming language
ACM '73 Proceedings of the ACM annual conference
ACM '73 Proceedings of the ACM annual conference
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
GAIN: An interactive program for teaching interactive computer graphics programming
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
An experimental implementation of the kernel/domain architecture
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
On programming parallel computers
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
Testing large software with automated software evaluation systems
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Heuristics for program synthesis using loop invariants
ACM '78 Proceedings of the 1978 annual conference - Volume 2
ACM '75 Proceedings of the 1975 annual conference
IDBUG: A tool for program development
Proceedings of the software quality assurance workshop on Functional and performance issues
A course in effective programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Methods for teaching program verification
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
A systems programming language for minicomputers
ACM SIGPLAN Notices - Abstracts in programming language-related research
"Structured programming" considered harmful
ACM SIGPLAN Notices
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Fault-Tolerant Computing: An Introduction and a Viewpoint
IEEE Transactions on Computers
Methodology for the Generation of Program Test Data
IEEE Transactions on Computers
On the need for a scientific programming language
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
The application of program-proving techniques to the verification of synchronization processes
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
A summary of progress toward proving program correctness
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Failure-tolerant parallel programming and its supporting system architecture
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
A synthesizer of inductive assertions
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
Automated deduction for verification
ACM Computing Surveys (CSUR)
Heuristic methods for mechanically deriving inductive assertio
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Experimental tests of resolution-based theorem-proving strategies
Information Sciences: an International Journal
Recent developments in the theory of data structures
Computer Languages
SESPOOL, a language for systems programming
Computer Languages
ASSET: A life cycle verification and visibility system
Journal of Systems and Software
| Hi-index | 0.10 |