| %%% ACM Double Column Format! |
| \documentclass{article} |
| %\usepackage{psfig} |
| %\usepackage{euscript} |
| %\usepackage{empheq} |
| %\usepackage{amssymb} |
| %\usepackage{wasysym} |
| %\usepackage{listings} |
| \usepackage{algorithm} |
| \usepackage{algorithmic} |
| \usepackage{epsfig} |
| \pagestyle{myheadings} |
| \markright{SAFECode Software Architecture} |
| |
| \setlength{\parindent}{0.0in} |
| \setlength{\parskip}{0.1in} |
| |
| \def\Comment#1{\textbf{\textsl{\large $\langle\!\langle$#1$\rangle\!\rangle$}} } |
| |
| \begin{document} |
| |
| \title{\Large \bf SAFECode Software Architecture Manual} |
| |
| \author{John Criswell} |
| |
| \maketitle |
| \pagenumbering{arabic} |
| |
| % |
| % Outline: |
| % |
| % o) Introduction |
| % o) Structure |
| % o) Insertion of run-time checks |
| % o) Static array bounds checking passes |
| % o) Run-time check optimization |
| % o) Debug instrumentation |
| % |
| |
| \input{intro} |
| \input{struct} |
| \input{layout} |
| \input{checks} |
| |
| %\bibliographystyle{abbrv} |
| %\bibliography{../bibtex/security,../bibtex/safecode,../bibtex/sva,../bibtex/optimization} |
| |
| \end{document} |
