Search Sciweavers | Sciweavers

2565 search results - page 32 / 513

» Object type constructors

124

click to vote

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

15 years 6 months ago

Download www.cs.williams.edu

Stephen N. Freund, John C. Mitchell

claim paper

Read More »

click to vote

PODC
1997
ACM

80views Distributed and Parallel Com...» more PODC 1997»

On the Power of Shared Object Types to Implement One-Resilient Consensus

15 years 6 months ago

Download courses.csail.mit.edu

Wai-Kau Lo, Vassos Hadzilacos

claim paper

Read More »

103

click to vote

FSTTCS
1993
Springer

117views Software Engineering» more FSTTCS 1993»

A Meta-Language for Typed Object-Oriented Languages

15 years 6 months ago

Download www.pps.jussieu.fr

Giuseppe Castagna

claim paper

Read More »

Voted

OOPSLA
1993
Springer

107views Security Privacy» more OOPSLA 1993»

Regular Types for Active Objects

15 years 6 months ago

Download asg.unige.ch

Oscar Nierstrasz

claim paper

Read More »

click to vote

DBPL
1989
Springer

82views Database» more DBPL 1989»

Can Object-Oriented Databases be Statically Typed?

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers