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 (13)

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

This page was built for publication: