✦ LIBER ✦

Program inversion in the refinement calculus

✍ Scribed by J. von Wright

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 842 KB
Volume: 37
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(91)90141-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Contract-based Mutation Testing in the R

Contract-based Mutation Testing in the Refinement Calculus

✍ Bernhard K. Aichernig 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 41 KB

Embedding revision programs in logic pro

Embedding revision programs in logic programming situation calculus

✍ Chitta Baral 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 827 KB

Predicate abstraction in a program logic

Predicate abstraction in a program logic calculus

✍ Benjamin Weiß 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Predicate abstraction is a form of abstract interpretation where the abstract domain is constructed from a finite set of predicates over the variables of the program. This paper explores a way to integrate predicate abstraction into a calculus for deductive program verification based on symbolic exe

General parameterised refinement and rec

General parameterised refinement and recursion for the M-net calculus

✍ Raymond Devillers; Hanna Klaudel; Robert-C Riemann 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 736 KB

Don't Care Non-determinism in Logic Prog

Don't Care Non-determinism in Logic Program Refinement

✍ David Hemer; Robert Colvin; Ian Hayes; Paul Strooper 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 312 KB

Rook theory. V rook polynomials, Möbius

Rook theory. V rook polynomials, Möbius inversion and the umbral calculus

✍ Jay R Goldman; J.T Joichi; Dennis E White 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 546 KB