scientific article; zbMATH DE number 3420251

zbMath0266.68010MaRDI QIDQ5683688

Richard Waldinger, Abraham Waksman, Bernard Elspas, Karl N. Levitt

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

Automatic synthesis of logical models for order-sorted first-order theories, An integrated approach to high integrity software verification, Solving invariant generation for unsolvable loops, A pragmatic proposal for the improvement of program modularity and reliability, Reasoning about programs, Composition of relational productions for plans and programs, The logical meaning of programs of a subrecursive language, Experimental tests of resolution-based theorem-proving strategies, Program analysis and optimization through kernel-control decomposition, Field analysis: A mathematical method of analysis for information handling processes, Current methods for proving program correctness