scientific article; zbMATH DE number 3403724

zbMath0255.68005MaRDI QIDQ5670164

James C. King

Publication date: 1972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Efficient symbolic analysis of programs, Equivalence checking of Petri net models of programs using static and dynamic cut-points, A semantic extension of BNF, A survey of state vectors, A mechanical analysis of program verification strategies, RGITL: a temporal logic framework for compositional reasoning about interleaved programs, Non-resolution theorem proving, Milestones from the Pure Lisp Theorem Prover to ACL2, Interleaving Symbolic Execution and Partial Evaluation, REF-ARF: A system for solving problems stated as procedures, An interpretation-oriented theorem prover over integers, Automatic program verification. I: A logical basis and its implementation, The verification and synthesis of data structures