Search Sciweavers | Sciweavers

14824 search results - page 79 / 2965

» Security - Introduction

111

Voted

OOPSLA
2010
Springer

122views Security Privacy» more OOPSLA 2010»

Better science through art

15 years 4 months ago

Download www.dreamsongs.org

Richard P. Gabriel, Kevin J. Sullivan

claim paper

Read More »

133

click to vote

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

15 years 4 months ago

Download research.microsoft.com

Sebastian Burckhardt, Alexandro Baldassin, Daan Le...

claim paper

Read More »

124

click to vote

OOPSLA
2010
Springer

141views Security Privacy» more OOPSLA 2010»

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

15 years 4 months ago

Download swerl.tudelft.nl

Lennart C. L. Kats, Eelco Visser

claim paper

Read More »

116

click to vote

OOPSLA
2010
Springer

101views Security Privacy» more OOPSLA 2010»

Reasoning about multiple related abstractions with MultiStar

15 years 4 months ago

Download se.ethz.ch

Stephan van Staden, Cristiano Calcagno

claim paper

Read More »

137

click to vote

OOPSLA
2010
Springer

127views Security Privacy» more OOPSLA 2010»

Enabling expressive aspect oriented modular reasoning by translucid contracts

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers