Search Sciweavers | Sciweavers

1183 search results - page 4 / 237

» On flow-sensitive security types

111

click to vote

POS
1987
Springer

94views Programming Languages» more POS 1987»

Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store

15 years 9 months ago

Download www.cs.st-andrews.ac.uk

Malcolm P. Atkinson, Ronald Morrison

claim paper

Read More »

112

click to vote

CSFW
2006
IEEE

92views Security Privacy» more CSFW 2006»

Managing Policy Updates in Security-Typed Languages

15 years 12 months ago

Download www.cs.umd.edu

Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zd...

claim paper

Read More »

127

click to vote

OOPSLA
1997
Springer

114views Security Privacy» more OOPSLA 1997»

Adding Type Parameterization to the Java Language

15 years 10 months ago

Download www.cs.williams.edu

Ole Agesen, Stephen N. Freund, John C. Mitchell

claim paper

Read More »

124

click to vote

OOPSLA
1990
Springer

73views Security Privacy» more OOPSLA 1990»

Strong Typing of Object-Oriented Languages Revisited

15 years 10 months ago

Download www.daimi.au.dk

Ole Lehrmann Madsen, Boris Magnusson, Birger M&osl...

claim paper

Read More »

119

click to vote

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers