✦ LIBER ✦

A formal application model for code and test generation

✍ Scribed by S. N. Baranov, V. P. Kotlyarov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Test Generation for Compilers and Other

✍ S. V. Zelenov; S. A. Zelenova; A. S. Kossatchev; A. K. Petrenko 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 47 KB

Model generation for quantified formulas

✍ Christoph D. Gladisch 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 705 KB

Retargetable code generation for applica

✍ A. Doroshenko; D. Ragozin 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 124 KB

Code generation based on formal BURS the

✍ A. Nymeyer; J.-P. Katoen 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 581 KB

Generalized transfer formalism and appli

✍ P. Hoever 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 907 KB

Model checking and code generation for t

✍ Anakreon Mentis; Panagiotis Katsaros 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 832 KB