POPL 1998 - PDF Preprint Papers

POPL 1998 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-1998 Paper

click to vote

POPL
1998
ACM

146views Programming Languages» more POPL 1998»

A Type System for Java Bytecode Subroutines

13 years 9 months ago

Download www.eecs.umich.edu

Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode veriﬁ...

Raymie Stata, Martín Abadi

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	146	A Type System for Java Bytecode Subroutines	claim
2	145	Array SSA Form and Its Use in Parallelization	claim
3	141	From System F to Typed Assembly Language	claim
4	131	Higher-Order unCurrying	claim
5	111	The SLam Calculus: Programming with Secrecy and Integrity	claim
6	110	Alias Analysis of Executable Code	claim
7	109	From Polyvariant Flow Information to Intersection and Union Types	claim
8	106	Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs	claim
9	104	Maximal Static Expansion	claim
10	104	Local Type Inference	claim
11	102	A Functional Representation of Data Structures with a Hole	claim
12	101	Putting Pointer Analysis to Work	claim
13	98	Secure Information Flow in a Multi-Threaded Imperative Language	claim
14	88	Fast Interprocedural Class Analysis	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers