%%----------------------------------------------------------------------------- | |
\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. |