The documents at this site describe work in progress on the definition of the SafetyNet language for programming Active Networks.

This site is part of a project with Ian Wakeman of Sussex to design and implement a programming language for ANs with formally defined safety and security policies implemented through static typing.

These documents are still in preparation, so expect lots of bugs!

Currently, the available documents are:

SafetyNet: Programming language specification
(draft language specification)

Notes on a programming language for ANs
(describes the distributed resource calculus)

 SafetyNet: Designing an Object-Oriented Language for Network Programming
(slides for a distinguished lecturer seminar at Kansas 1999/01)

 Developing a programming language for ANs
(slides for a talk at Lucent 1999/01)

 Developing a programming language for ANs
(slides for a talk at MSPLS 1998/10)

 Developing a programming language for ANs
(slides for another introductory talk at DePaul 1998/09)

 Developing programming languages for ANs
(slides for an introductory talk at DePaul 1998/04)

 Semantics of ANs
(slides for a technical talk at the Confer 2 workshop 1998/04)