✦ LIBER ✦

Checking semantic correctness of a class of structured programs by program function construction

✍ Scribed by E. A. Evtushenko

Book ID: 105084202
Publisher: Springer US
Year: 1992
Tongue: English
Weight: 229 KB
Volume: 27
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01130544

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A functional correctness model of progra

A functional correctness model of program verification

✍ Zelkowitz, M.V. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 869 KB

Theory of Program Structures: Schemes, S

Theory of Program Structures: Schemes, Semantics, Verification.by Sheila A. Greibach

✍ Review by: Robert L. Constable 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 129 KB

A constructive approach to the problem o

A constructive approach to the problem of program correctness

✍ E. W. Dijkstra 📂 Article 📅 1968 🏛 Springer Netherlands 🌐 English ⚖ 867 KB

A constructive approach to the problem o

A constructive approach to the problem of program correctness

✍ E. W. Dijkstra 📂 Article 📅 1968 🏛 Springer Netherlands 🌐 English ⚖ 867 KB

As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This exa

Programming with a special class of nonl

Programming with a special class of nonlinear functionals

✍ S. M. Sinha; Vijay Wadhwa 📂 Article 📅 1970 🏛 Springer 🌐 English ⚖ 262 KB

Construction of test problems for a clas

Construction of test problems for a class of reverse convex programs

✍ K. Moshirvaziri 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 496 KB