| Резюме статьи, 15.07.1974(?) "The Dynamic Verification of Assertions: A Proposal".
Резюме статьи, 15.07.1974(?)"The correctness of synchronizing mechanism in a system of concurrent processes" (авторы T. Kasami и др.).
Резюме статьи, 15.07.1974(?)"A Sufficient Condition for the Completeness and Consistency of Decision Tables".
Резюме статьи, 15.07.1974(?)"An Approach to Compiler Correctness" (авторы L.M. Chirica и D.F. Martin).
Резюме статьи, 15.07.1974(?)"A Practical Approach for Generating Inductive Assertions" (автор M. Moriconi).
Резюме статьи, 15.07.1974(?)"An Interactive Program Verification System".
Резюме статьи, 15.07.1974(?)"Specification and Proving of Command Programs".
Резюме статьи, 15.07.1974(?)"Set-Theoretic Correctness Proofs".
Резюме статьи, 15.07.1974(?)"Finding Invariant Assertions for Proving Programs".
Резюме статьи, 15.07.1974(?)"Proving Structured Programs Correct, Level by Level".
Резюме статьи, 15.07.1974"Logical Analysis of Programs".
Резюме статьи, 15.07.1974(?)"Program Verification by Predicate Transformation".
Резюме статьи, 15.07.1974(?)"Knowledge about Programs: a Model and Case Study".
Резюме статьи, 15.07.1974(?)"On the Principle of Unique Definition" (автор P.D. Griem Jr.).
Резюме статей, 15.07.1974(?)"A comparison of Two Schemes for Specifying the Behavior of Systems with Concurrency" и "Well-Formed Representation of Programs".
Предварительное резюме статьи, 15.07.1974(?)"Initial Considerations of the Use of Operators in the Manipulation of Programs" (автор J.M. Perry).
Резюме статьи, 15.07.1974(?)"A Basis for Provable Programming".
Резюме статьи, 15.07.1974(?)"Single Loop Program Synthesis" (автор J.W. Duran).
Резюме статьи, 15.07.1974(?)"Invariance in Data Structures Primitives" (автор J.C. Thompson).
Резюме статьи, 15.07.1974(?)"The Synthesis of Programs as an Approach to the Construction of Reliable Programs".
1
2
3
4
5
6
7
8
9
По порядку | По алфавиту | По дате |
