Search Sciweavers | Sciweavers

31686 search results - page 200 / 6338

» Resource typing in Guru

134

click to vote

TIC
1998
Springer

83views System Software» more TIC 1998»

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

15 years 10 months ago

Download www.cs.umd.edu

Alexander Aiken, Manuel Fähndrich, Jeffrey S....

claim paper

Read More »

127

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

Download www.cs.rice.edu

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

155

Voted

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

15 years 10 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

145

click to vote

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

15 years 10 months ago

Download www.cs.mun.ca

Kim B. Bruce, Angela Schuett, Robert van Gent

claim paper

Read More »

125

click to vote

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers