Search Sciweavers | Sciweavers

14850 search results - page 79 / 2970

» The Security of

click to vote

OOPSLA
2010
Springer

122views Security Privacy» more OOPSLA 2010»

Better science through art

13 years 7 months ago

Download www.dreamsongs.org

Richard P. Gabriel, Kevin J. Sullivan

claim paper

Read More »

click to vote

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

13 years 7 months ago

Download research.microsoft.com

Sebastian Burckhardt, Alexandro Baldassin, Daan Le...

claim paper

Read More »

click to vote

OOPSLA
2010
Springer

141views Security Privacy» more OOPSLA 2010»

The spoofax language workbench: rules for declarative specification of languages and IDEs

13 years 7 months ago

Download swerl.tudelft.nl

Lennart C. L. Kats, Eelco Visser

claim paper

Read More »

click to vote

OOPSLA
2010
Springer

101views Security Privacy» more OOPSLA 2010»

Reasoning about multiple related abstractions with MultiStar

13 years 7 months ago

Download se.ethz.ch

Stephan van Staden, Cristiano Calcagno

claim paper

Read More »

click to vote

OOPSLA
2010
Springer

127views Security Privacy» more OOPSLA 2010»

Enabling expressive aspect oriented modular reasoning by translucid contracts

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers