MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verified Bytecode Subroutines." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Verified Bytecode Subroutines
by G. Klein, M. Wildmoser, Technische Universität München — 2003 — Journal of Automated Reasoning
…Verified Bytecode Subroutines G. Klein and M. Wildmoser ((kleing|wildmosm)@(email omitted);) Technische…
Cited by 11 (1 self) – Add To MetaCart

The costs and benefits of Java bytecode subroutines
by Stephen N. Freund — 1998 — In Formal Underpinnings of Java Workshop at OOPSLA
… of subroutines on the formal specification and implementation of the bytecode verifier, on the implementation…
Cited by 18 (0 self) – Add To MetaCart

The Costs and Benefits of Java Bytecode Subroutines
by Stephen Freund Department, Stephen N. Freund — 1998 — In Formal Underpinnings of Java Workshop at OOPSLA
… the bytecode verifier and implementing the Java Virtual Machine in the presence of subroutines to the space…
Add To MetaCart

Improving the Official Specification of Java Bytecode Verification
by Alessandro Coglio — 2001
… points are the following. In JS4.9.6 an approach to verify bytecode with subroutines is sketched…
Cited by 8 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB