Network devices have always been considered as configurable black boxes until the
emergence of software-defined networking (SDN). SDN enables the networks to be …

Existing languages provide good support for typeful programming of standalone programs.
In a distributed system, however, there may be interaction between multiple instances of …

Existing languages provide good support for typeful programming of stand-alone programs.
In a distributed system, however, there may be interaction between multiple instances of …

Experience of practical systems modelling suggests that the key conceptual components of
a model of a system are processes, resources, locations and environment. In recent work …

Refactoring is the process of improving the design of existing programs without changing
their external behaviour. Behaviour preservation guarantees that refactoring does not …

As part of a platform for computer-assisted verification, we present an intermediate
representation of programs that is both language independent and appropriate for the …

Developing a static type system suitable for Erlang has been of ongoing interest for almost
two decades now. The challenge with retrofitting a static type system onto a dynamically …

We have developed the programming language Logic Java which smoothly integrates the
object-oriented language Java and logic programming concepts such as logic variables …

Chasm is a toolkit providing seamless language interoperability between Fortran 95 and
C++. Language interoperability is important to scientific programmers because scientific …

This paper studies key issues for distributed programming in high-level languages. We
discuss the design space and describe an experimental language, Acute, which we have …