8499 search results - page 366 / 1700 » cans 2009 |
261
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
148
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
186
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
159
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...
171
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Wehypothesizethat, inaFacebook-stylesocial networksystem, proper visualization of one’s extended neighbourhood could help the user understand the privacy implications of her acce...