Browsing by Author "Meuter, Wolfgang de"

Now showing items 1-3 of 3

    • Ambient contracts: verifying and enforcing ambient object compositions à la carte 
      Scholliers, Christophe; Harnie, Dries; Tanter, Éric Pierre; Meuter, Wolfgang de; D’Hondt, Theo (Springer, 2011-04)
      Current programming languages do not offer adequate abstractions to discover and compose heterogenous objects over unreliable networks. This forces programmers to discover objects one by one, compose them manually, and ...
    • Computational contracts 
      Scholliers, Christophe; Tanter, Éric Pierre; Meuter, Wolfgang de (Elsevier, 2015)
      Software contracts have proven to play an important role for the development of robust software. Contract systems are widely adopted in statically typed languages and are currently finding their entrance in dynamically-typed ...
    • Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model 
      Scholliers, Christopher; Tanter, Éric Pierre; Meuter, Wolfgang de (Elsevier, 2014)
      While the actor model of concurrency is well appreciated for its ease of use, its scalability is often criticized. Indeed, the fact that execution within an actor is sequential prevents certain actor systems to take ...