Sciweavers

1096 search results - page 29 / 220

» Type inference for atomicity

15

ESOP
1992
Springer

102views Programming Languages» more ESOP 1992»

Typing References by Effect Inference

13 years 11 months ago

Typing References by Effect Inference

Download mitpress.mit.edu

Andrew K. Wright

claim paper

Read More »

21

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

13 years 11 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

21

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

13 years 11 months ago

Sound Polymorphic Type Inference for Objects

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

20

USS
2004

94views Operating System» more USS 2004»

Finding User/Kernel Pointer Bugs with Type Inference

13 years 9 months ago

Finding User/Kernel Pointer Bugs with Type Inference

Download www.eecs.berkeley.edu

Robert Johnson, David Wagner

claim paper

Read More »

19

CAS
2005

54views more CAS 2005»

Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

13 years 7 months ago

Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

Download www.ugr.es

Ramón Gutiérrez Jáimez, Ram&o...

claim paper

Read More »

« Prev « First page 29 / 220 Last » Next »