✦ LIBER ✦

Abstraction-Carrying Code: a Model for Mobile Code Safety

✍ Scribed by Elvira Albert; Germán Puebla; Manuel Hermenegildo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Abstract Interpretation-based Approac

✍ Elvira Albert; Germán Puebla; Manuel Hermenegildo 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Grail: a functional form for imperative

✍ Lennart Beringer; Kenneth MacKenzie; Ian Stark 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 249 KB

Techniques for secure execution of mobil

✍ J. -M. Mas-RibÉS; Benoît Macq 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 1014 KB

A nuclear optical model code for small c

✍ R.J. Eastgate; W.J. Thompson; R.A. Hardekopf 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 85 KB

A nuclear optical model code for small c

✍ R.J. Eastgate; W.J. Thompson; R.A. Hardekopf 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 788 KB

A hypertext model for steel design codes

✍ Bruno Feijó; Werther G. Krause; David Lloyd Smith; Patrick J. Dowling 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 981 KB