Sciweavers

53 search results - page 1 / 11

» oopsla 2010

10

OOPSLA
2010
Springer

127views Security Privacy» more OOPSLA 2010»

Enabling expressive aspect oriented modular reasoning by translucid contracts

13 years 2 months ago

Enabling expressive aspect oriented modular reasoning by translucid contracts

Download www.cs.iastate.edu

Mehdi Bagherzadeh

claim paper

Read More »

10

OOPSLA
2010
Springer

128views Security Privacy» more OOPSLA 2010»

Homogeneous family sharing

13 years 2 months ago

Homogeneous family sharing

Download www.cs.cornell.edu

Xin Qi, Andrew C. Myers

claim paper

Read More »

7

OOPSLA
2010
Springer

101views Security Privacy» more OOPSLA 2010»

Reasoning about multiple related abstractions with MultiStar

13 years 2 months ago

Reasoning about multiple related abstractions with MultiStar

Download se.ethz.ch

Stephan van Staden, Cristiano Calcagno

claim paper

Read More »

7

OOPSLA
2010
Springer

122views Security Privacy» more OOPSLA 2010»

Better science through art

13 years 2 months ago

Better science through art

Download www.dreamsongs.org

Richard P. Gabriel, Kevin J. Sullivan

claim paper

Read More »

9

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

13 years 2 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 »