Search Sciweavers | Sciweavers

1183 search results - page 4 / 237

» On flow-sensitive security types

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 1 months ago

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

Malcolm P. Atkinson, Ronald Morrison

claim paper

Read More »

click to vote

CSFW
2006
IEEE

92views Security Privacy» more CSFW 2006»

Managing Policy Updates in Security-Typed Languages

15 years 3 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

click to vote

OOPSLA
1997
Springer

114views Security Privacy» more OOPSLA 1997»

Adding Type Parameterization to the Java Language

15 years 1 months ago

Download www.cs.williams.edu

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

claim paper

Read More »

click to vote

OOPSLA
1990
Springer

73views Security Privacy» more OOPSLA 1990»

Strong Typing of Object-Oriented Languages Revisited

15 years 1 months ago

Download www.daimi.au.dk

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

claim paper

Read More »

click to vote

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers