Other presentations

  1. Modularizing and Specifying Protocols among Threads

    We identify two problems with general-purpose programming languages: (i) they do not enforce separation of computations and protocols and (ii) they do not provide an appropriate level of abstraction to implement protocols. To mend these deficiencies, we argue for the use of domain-specific languages (DSL). A concrete instance then demonstrates …

    read more
  2. Reo: Basics and Semantics

    Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software entities. This class of languages includes Reo, a platform for compositional construction of connectors. This talk comprises an introduction to Reo. It starts with an example that motivates the use of …

    read more
  3. Model checking GOAL agents

    As the theoretical foundations of agent-oriented programming became better understood by the end of the 1990s, researchers became interested in model checking agent programs. Model checking, introduced by the late 1970s, is a technique for establishing automatically whether a system satisfies a given specification. Although progress has been made over …

    read more

Page 1 / 1

hosted by