Search Sciweavers | Sciweavers

3394 search results - page 25 / 679

» Regular Object Types

click to vote

OOPSLA
2007
Springer

106views Security Privacy» more OOPSLA 2007»

Establishing object invariants with delayed types

14 years 3 months ago

Download research.microsoft.com

Manuel Fähndrich, Songtao Xia

claim paper

Read More »

click to vote

WCRE
1999
IEEE

142views Software Engineering» more WCRE 1999»

Type-Check Elimination: Two Object-Oriented Reengineering Patterns

14 years 1 months ago

Download scg.unibe.ch

In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...

Stéphane Ducasse, Tamar Richner, Robb Nebbe

claim paper

Read More »

click to vote

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

14 years 1 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

14 years 1 months ago

Download courses.csail.mit.edu

Wai-Kau Lo, Vassos Hadzilacos

claim paper

Read More »

click to vote

FSTTCS
1993
Springer

117views Software Engineering» more FSTTCS 1993»

A Meta-Language for Typed Object-Oriented Languages

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers