✦ LIBER ✦

A logic-based approach to program flow analysis

✍ Scribed by Mooly Sagiv; Nissim Francez; Michael Rodeh; Reinhard Wilhelm

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logic-Based Approach to Polymer Sequen

✍ Renato Bruni 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 600 KB

A mathematical programming approach to k

✍ Dennis C. Dietz 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 148 KB

A new approach to hybrid probabilistic l

✍ Emad Saad; Enrico Pontelli 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 870 KB

A new approach to hybrid probabilistic l

✍ Emad Saad; Enrico Pontelli 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 158 KB

One approach to program analysis

✍ A. A. Letichevskii 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 799 KB

A Logic-Program-Based Negotiation Mechan

✍ Wu Chen; Ming-Yi Zhang; Mao-Nian Wu 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 406 KB