1: \title{\thisPaperTitle}

2: 

3: \author{Viktor Kuncak and Martin Rinard \\

4:         Computer Science and Artificial Intelligence Laboratory\\

5:         Massachusetts Institute of Technology\\

6:         Cambridge, MA 02139, USA \\

7:         {\tt $\{$vkuncak,rinard$\}$@csail.mit.edu} \\ \\

8:         {MIT CSAIL Technical Report No 925} \\

9:         {Internal Manuscript VK0101, October 2003}

10: }

11: 

12: \begin{document}

13: 

14: \sloppy

15: 

16: \maketitle

17: 

18: \renewcommand{\thefootnote}{\fnsymbol{footnote}}

19: \footnotetext{Draft of \today, \Daytime, \\ see 

20: \url{http://www.mit.edu/~vkuncak/papers} for later versions.}

21: 

22: \renewcommand{\thefootnote}{\arabic{footnote}}

23: 

24: \input{abstract}

25: 

26: \paragraph{Keywords:}

27: Program Verification, Shape Analysis, Static Analysis,

28: Two-Variable Logic with Counting, Description Logic,

29: First-Order Logic, Types, Roles, Object-Models

30: 

31: \pagebreak

32: \tableofcontents

33: \pagebreak

34: 

35: %\input{todo}

36: 

37: \input{introduction}

38: 

39: \input{example}

40: 

41: \input{recipe}

42: 

43: \input{role-logic}

44: 

45: \input{equivalences}

46:   \input{rltwo}

47:   \input{two-freevar}

48:   \input{itwo-connection}

49:   \input{closing-loop}

50: 

51: \input{application}

52:   \input{transductions}

53:   \input{bsac}

54:   \input{encoding-dl}

55: 

56: \input{related}

57: \input{conclusions}

58: \input{acknowledge}

59: 

60: \bibliographystyle{plain}

61: \bibliography{pnew}

62: 

63: \end{document}

64: 

65: %%% Local Variables: 

66: %%% mode: latex

67: %%% TeX-master: "main"

68: %%% End: 

69: 

70: % LocalWords:  Viktor Kuncak VK Datastructure Indexical POPL ana