𝔖 Bobbio Scriptorium

✦ LIBER ✦

Verifying BPEL-like programs with Hoare logic

✍ Scribed by Luo, Chenguang ;Qin, Shengchao ;Qiu, Zongyan

Book ID: 107475582
Publisher: Higher Education Press and Springer
Year: 2008
Tongue: English
Weight: 262 KB
Volume: 2
Category: Article
ISSN: 1673-7350
DOI: 10.1007/s11704-008-0039-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hoare's logic for programming languages

Hoare's logic for programming languages with two data types

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 620 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 85 || Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions

✍ Bakker, Jaco; Leeuwen, Jan 📂 Article 📅 1980 🏛 Springer Berlin Heidelberg ⚖ 744 KB

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Verifying programs with unreliable channels

✍ Abdulla, P.; Jonsson, B. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 863 KB