Sciweavers

14824 search results - page 79 / 2965
» Security - Introduction
Sort
View
OOPSLA
2010
Springer
15 years 25 days ago
Better science through art
Richard P. Gabriel, Kevin J. Sullivan
OOPSLA
2010
Springer
15 years 25 days ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...
OOPSLA
2010
Springer
15 years 25 days ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno