✦ LIBER ✦

Correct programs?

✍ Scribed by G. J. Boris

Book ID: 112210053
Publisher: John Wiley and Sons
Year: 1983
Tongue: English
Weight: 116 KB
Volume: 13
Category: Article
ISSN: 0038-0644
DOI: 10.1002/spe.4380130810

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving programs correct through refinem

Proving programs correct through refinement

✍ Claus H. Correll 📂 Article 📅 1978 🏛 Springer-Verlag 🌐 English ⚖ 607 KB

Compact coding of syntactically correct

Compact coding of syntactically correct source programs

✍ Jose Felipe Contla 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 485 KB

Proving programs correct: Some technique

Proving programs correct: Some techniques and examples

✍ Ralph L. London 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 998 KB

The Correctional Program

✍ Tilton, Emily 📂 Fiction 📅 2017 🏛 Stormy Night Publications 🌐 English ⚖ 91 KB

After she defies an increasingly authoritarian government, nineteen-year-old Melanie Smith is sentenced to an experimental rehabilitation program. She will be placed into several highly sophisticated virtual reality simulations, each designed to achieve a specific purpose. Melanie soon finds h

Correct answers to allowed programs and

Correct answers to allowed programs and queries are ground

✍ J.C. Shepherdson 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 244 KB

The correctness of programs

✍ Zohar Manna 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 301 KB

This paper is concerned with the relationship between the correctness of programs and the satisfiability (or unsatisfiability) of certain formulas of the first-order predicate calculus. Results on the equivalence of programs are also included. \* The research reported here was supported in part by t