Search Sciweavers | Sciweavers

31686 search results - page 198 / 6338

» Resource typing in Guru

119

click to vote

KBSE
1997
IEEE

68views Software Engineering» more KBSE 1997»

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

15 years 10 months ago

Download www.sdml.info

Jean-Francois Girard, Rainer Koschke, Georg Schied

claim paper

Read More »

110

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 10 months ago

Download courses.csail.mit.edu

Wai-Kau Lo, Vassos Hadzilacos

claim paper

Read More »

125

click to vote

OOPSLA
1997
Springer

114views Security Privacy» more OOPSLA 1997»

Adding Type Parameterization to the Java Language

15 years 9 months ago

Download www.cs.williams.edu

Ole Agesen, Stephen N. Freund, John C. Mitchell

claim paper

Read More »

121

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 9 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

119

click to vote

OOPSLA
1990
Springer

73views Security Privacy» more OOPSLA 1990»

Strong Typing of Object-Oriented Languages Revisited

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers