Search Sciweavers | Sciweavers

31686 search results - page 198 / 6338

» Resource typing in Guru

139

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 »

126

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 »

139

click to vote

OOPSLA
1997
Springer

114views Security Privacy» more OOPSLA 1997»

Adding Type Parameterization to the Java Language

15 years 10 months ago

Download www.cs.williams.edu

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

claim paper

Read More »

136

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 10 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

143

click to vote

OOPSLA
1990
Springer

73views Security Privacy» more OOPSLA 1990»

Strong Typing of Object-Oriented Languages Revisited

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers