4385 search results - page 199 / 877 » Abstraction for Concurrent Objects |
153
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
165
click to vote
CRYPTO
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
131
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
232
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
141
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...