Search Sciweavers | Sciweavers

656 search results - page 14 / 132

» Parameterized Types for Java

click to vote

POPL
1999
ACM

105views Programming Languages» more POPL 1999»

A Simple, Comprehensive Type System for Java Bytecode Subroutines

13 years 12 months ago

Download www.cs.cmu.edu

Robert O'Callahn

claim paper

Read More »

click to vote

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

13 years 12 months ago

Download www.cs.williams.edu

Stephen N. Freund, John C. Mitchell

claim paper

Read More »

click to vote

TIC
1998
Springer

107views System Software» more TIC 1998»

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report

13 years 12 months ago

Download www.cs.ucla.edu

Andrew K. Wright, Suresh Jagannathan, Cristian Ung...

claim paper

Read More »

click to vote

AOSD
2007
ACM

96views Software Engineering» more AOSD 2007»

cJ: enhancing java with safe type conditions

13 years 11 months ago

Download www.cs.umass.edu

Shan Shan Huang, David Zook, Yannis Smaragdakis

claim paper

Read More »

click to vote

FDTC
2006
Springer

121views Cryptology» more FDTC 2006»

Java Type Confusion and Fault Attacks

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers