Some Completeness Results in the Mathematical Theory of Computation
Journal of the ACM (JACM)
A Completeness Theorem for Straight-Line Programs with Structured Variables
Journal of the ACM (JACM)
Conditional Expressions with Equality Tests
Journal of the ACM (JACM)
Symbolic execution and program testing
Communications of the ACM
Off-line and on-line algorithms for deducing equalities
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Proving assertions about programs that manipulate data structures
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
Programming languages and their compilers: Preliminary notes
Programming languages and their compilers: Preliminary notes
Algebraic Structures with Hard Equivalence and Minimization Problems
Journal of the ACM (JACM)
On the relationship of congruence closureand unification
Journal of Symbolic Computation
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conditional Expressions with Equality Tests
Journal of the ACM (JACM)
Variations on the Common Subexpression Problem
Journal of the ACM (JACM)
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Decision procedures for extensions of the theory of arrays
Annals of Mathematics and Artificial Intelligence
Automated deduction for verification
ACM Computing Surveys (CSUR)
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An axiomatization of arrays for kleene algebra with tests
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
FDCC: a combined approach for solving constraints over finite domains and arrays
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
| Hi-index | 0.00 |