Introduction

This introduction contains an overview of the general context of our research, an informal explanation of the Splice architecture and the aims of the work described here.