Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel
applications. A Dryad application combines computational" vertices" with communication" …

Links is a programming language for web applications that generates code for all three tiers
of a web application from a single source, compiling into JavaScript to run on the client and …

Bugs in distributed systems are often hard to find. Many bugs reflect discrepancies between
a system's behavior and the programmer's assumptions about that behavior. We present …

We present impredicative concurrent abstract predicates–iCAP–a program logic for modular
reasoning about concurrent, higher-order, reentrant, imperative code. Building on earlier …

Polyphonic C♯ is an extension of the C♯ language with new asynchronous concurrency
constructs, based on the join calculus. We describe the design and implementation of the …

Software model checking with abstraction refinement is emerging as a practical approach to
verify industrial software systems. Its distinguishing characteristics lie in the way it applies …

Strand algebras for DNA computing | Natural Computing Skip to main content SpringerLink
Account Menu Find a journal Publish with us Track your research Search Cart 1.Home 2.Natural …

Actor coordination armoured with a suitable protocol description language has been a
pressing problem in the actors community. We study the applicability of multiparty session …

We present Stipula, a domain specific language that may assist legal practitioners in
programming legal contracts through specific patterns. The language is based on a small set …