Search Sciweavers | Sciweavers

3394 search results - page 26 / 679

» Regular Object Types

click to vote

DBPL
1989
Springer

82views Database» more DBPL 1989»

Can Object-Oriented Databases be Statically Typed?

14 years 1 months ago

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

Val Tannen, Peter Buneman, Atsushi Ohori

claim paper

Read More »

click to vote

OOPSLA
1990
Springer

73views Security Privacy» more OOPSLA 1990»

Strong Typing of Object-Oriented Languages Revisited

14 years 1 months ago

Download www.daimi.au.dk

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

claim paper

Read More »

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

14 years 1 months ago

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

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

claim paper

Read More »

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

14 years 18 days ago

Download www.cs.rice.edu

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

click to vote

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers