Sciweavers

53 search results - page 1 / 11

» oopsla 2010

77

OOPSLA
2010
Springer

127views Security Privacy» more OOPSLA 2010»

Enabling expressive aspect oriented modular reasoning by translucid contracts

14 years 11 months ago

Enabling expressive aspect oriented modular reasoning by translucid contracts

Download www.cs.iastate.edu

Mehdi Bagherzadeh

claim paper

Read More »

60

Voted

OOPSLA
2010
Springer

128views Security Privacy» more OOPSLA 2010»

Homogeneous family sharing

14 years 11 months ago

Homogeneous family sharing

Download www.cs.cornell.edu

Xin Qi, Andrew C. Myers

claim paper

Read More »

63

Voted

OOPSLA
2010
Springer

101views Security Privacy» more OOPSLA 2010»

Reasoning about multiple related abstractions with MultiStar

14 years 11 months ago

Reasoning about multiple related abstractions with MultiStar

Download se.ethz.ch

Stephan van Staden, Cristiano Calcagno

claim paper

Read More »

64

Voted

OOPSLA
2010
Springer

122views Security Privacy» more OOPSLA 2010»

Better science through art

14 years 11 months ago

Better science through art

Download www.dreamsongs.org

Richard P. Gabriel, Kevin J. Sullivan

claim paper

Read More »

87

Voted

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

14 years 11 months ago

Concurrent programming with revisions and isolation types

Download research.microsoft.com

Sebastian Burckhardt, Alexandro Baldassin, Daan Le...

claim paper

Read More »

« Prev « First page 1 / 11 Last » Next »