Search Sciweavers | Sciweavers

2596 search results - page 20 / 520

» Gradual Typing for Objects

127

click to vote

OOPSLA
1993
Springer

107views Security Privacy» more OOPSLA 1993»

Regular Types for Active Objects

15 years 10 months ago

Download asg.unige.ch

Oscar Nierstrasz

claim paper

Read More »

120

click to vote

DBPL
1989
Springer

82views Database» more DBPL 1989»

Can Object-Oriented Databases be Statically Typed?

15 years 10 months ago

Download www.pllab.riec.tohoku.ac.jp

Val Tannen, Peter Buneman, Atsushi Ohori

claim paper

Read More »

126

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 »

122

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 10 months ago

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

Richard C. H. Connor, Alfred L. Brown, Quintin I. ...

claim paper

Read More »

121

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers