440 search results - page 18 / 88 » Local reasoning for abstraction and sharing |
180
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
142
click to vote
ECTEL
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. The success of recent Web 2.0 platforms shows that people share information and resources within their social community and beyond. The use of these platforms in an e-lea...
156
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
148
click to vote
PVM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These targets va...
148
click to vote
TLCA
2009
Springer
16 years 16 days ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...