✦ LIBER ✦

A Hoare-like verification system for a language with an exception handling mechanism

✍ Scribed by Danuta Szczepanska

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A mechanism for exception handling and i

✍ N. Cocco; S. Dulli 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 721 KB

An exception handling mechanism for SR

✍ Daniel T. Huang; Ronald A. Olsson 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 962 KB

Experience with a fourth-generation lang

✍ Daniel T Joyce 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 891 KB

A neural network system with an automati

✍ K. Shimohara; Y. Tokunaga; T. Uchiyama; Y. Kimura 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 75 KB

A command processor system with an integ

✍ Bernhard Dopker; Hong Jae Yim 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 682 KB

Bankruptcy as an exit mechanism for syst

✍ Domenico Delli Gatti; Corrado Di Guilmi; Edoardo Gaffeo; Mauro Gallegati 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 207 KB