| %%----------------------------------------------------------------------------- | |
| \section{Introduction} | |
| \label{section:intro} | |
| %%----------------------------------------------------------------------------- | |
| Welcome to the SAFECode Software Architecture Manual! The purpose of | |
| this manual is to give the reader an overview of how the SAFECode | |
| transform passes are organized, the reason for this organization, and | |
| an introduction to the source code layout. |