The Channel Ambient System

Version 0.081 (Last Updated: 23-05-2005)

© Andrew Phillips 2005

Introduction

The Channel Ambient System is a distributed programming environment for developing secure mobile applications based on a formal model. The system is based on the Channel Ambient Machine, a distributed abstract machine for the Channel Ambient Calculus that is both sound and complete. It is hoped that the system will provide insight into the design of future programming languages for mobile computing.

Runtime

The Channel Ambient Runtime is available in three formats, subject to the terms of the License.

Windows 2000 binary. This is a standalone executable file.
Platform-Independent Bytecode. This is a bytecode executable file, which requires the Objective Caml System version 3.08 to be installed.
Source Code. This can be compiled to native code using the Objective Caml System version 3.08.

Language

The Channel Ambient Language Definition describes how to write programs in the Channel Ambient Language. It also describes how to execute these programs using the Channel Ambient Runtime.
A number of examples can be used to test the Channel Ambient Runtime. These can be downloaded in zip format.

Contact

For any queries or comments please contact