Search Sciweavers | Sciweavers

3394 search results - page 26 / 679

» Regular Object Types

Voted

DBPL
1989
Springer

82views Database» more DBPL 1989»

Can Object-Oriented Databases be Statically Typed?

15 years 4 months ago

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

Val Tannen, Peter Buneman, Atsushi Ohori

claim paper

Read More »

Voted

OOPSLA
1990
Springer

73views Security Privacy» more OOPSLA 1990»

Strong Typing of Object-Oriented Languages Revisited

15 years 4 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

15 years 4 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

15 years 4 months 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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers