✦ LIBER ✦

Formalizing Java-MaC

✍ Scribed by Usa Sammapun; Raman Sharykin; Margaret DeLap; Myong Kim; Steve Zdancewic

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 243 KB
Volume: 89
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)81048-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Java-MaC: A Run-time Assurance Tool for

Java-MaC: A Run-time Assurance Tool for Java Programs

✍ M. Kim; S. Kannan; I. Lee; O. Sokolsky; M. Viswanathan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Formally specifying CARA in Java

✍ Eugene W. Stark 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 489 KB

Formalizing Java's Two's-Complement Inte

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL

✍ Nicole Rauch; Burkhart Wolff 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 226 KB

Special issue: formal techniques for Jav

Special issue: formal techniques for Java programs

✍ Susan Eisenbach; Gary T. Leavens 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 55 KB

Special Issue: Formal Techniques for Jav

Special Issue: Formal Techniques for Java-like Programs

📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 50 KB

A formal introduction to the compilation

A formal introduction to the compilation of Java

✍ Stephan Diehl 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 223 KB

The term abstract machine is widely accepted to denote intermediate target languages and related architectures which serve as an intermediate stage in compiling programming languages. In this paper we explain how a considerable subset of Java is translated into Byte-Code for the Java Virtual Machine