Add to ORKGGuppy is a new and experimental process-oriented programming language, taking much inspiration (and some code-base) from the existing occam-pi language. This paper reports on a variety of aspects related to this, specifically language, compiler and run-time system development, enabling Guppy programs to run on desktop and embedded systems. A native code-generation approach is taken, using C as the intermediate language, and with stack-space requirements determined at compile-time
Abstract. occam-pi is a programming language based on the CSP process algebra and the pi-calculus, a...
Compilers play a pivotal role in the software development process for microprocessors, by automatica...
This paper details the design of a new concurrent process-oriented programming language, Rain. The l...
We are interested in languages that provide powerful abstractions for concurrency and parallelism th...
Although concurrency is generally perceived to be a `hard' subject, it can in fact be very simple --...
This paper introduces occam-pi, an efficient and safe binding of key elements from Hoare's CSP and M...
This thesis argues that there is a modern, broad and growing need for programming languages and tool...
This paper reports continuing research on language design, compilation and kernel support for highly...
We describe some more recent developments of the SPoC system. We describe a new module in the occam ...
Continuing research on language design, compilation and kernel support for highly dynamic concurrent...
Although concurrency is generally perceived to be a `hard' subject, it can in fact be very simple --...
This thesis is concerned with support at all levels for building highly concurrent and dynamic paral...
Massively parallel reconfigurable architectures, which offer massive parallelism coupled with the ca...
Operating-systems are the core software component of many modern computer systems, ranging from smal...
Coarse-grained reconfigurable architectures, which offer massive parallelism coupled with the capabi...
Abstract. occam-pi is a programming language based on the CSP process algebra and the pi-calculus, a...
Compilers play a pivotal role in the software development process for microprocessors, by automatica...
This paper details the design of a new concurrent process-oriented programming language, Rain. The l...
We are interested in languages that provide powerful abstractions for concurrency and parallelism th...
Although concurrency is generally perceived to be a `hard' subject, it can in fact be very simple --...
This paper introduces occam-pi, an efficient and safe binding of key elements from Hoare's CSP and M...
This thesis argues that there is a modern, broad and growing need for programming languages and tool...
This paper reports continuing research on language design, compilation and kernel support for highly...
We describe some more recent developments of the SPoC system. We describe a new module in the occam ...
Continuing research on language design, compilation and kernel support for highly dynamic concurrent...
Although concurrency is generally perceived to be a `hard' subject, it can in fact be very simple --...
This thesis is concerned with support at all levels for building highly concurrent and dynamic paral...
Massively parallel reconfigurable architectures, which offer massive parallelism coupled with the ca...
Operating-systems are the core software component of many modern computer systems, ranging from smal...
Coarse-grained reconfigurable architectures, which offer massive parallelism coupled with the capabi...
Abstract. occam-pi is a programming language based on the CSP process algebra and the pi-calculus, a...
Compilers play a pivotal role in the software development process for microprocessors, by automatica...
This paper details the design of a new concurrent process-oriented programming language, Rain. The l...