1: \title{\thisPaperTitle}

2: 

3: \author{Viktor Kuncak and Martin Rinard}

4: \institute{

5:         MIT Computer Science and Artificial Intelligence Laboratory\\

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

7:         MIT CSAIL Technical Report No 942 \ \ {\tiny VK0104}

8: }

9: 

10: \pagestyle{plain}

11: 

12: \begin{document}

13: 

14: \sloppy

15: 

16: \maketitle

17: 

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

19: \footnotetext{Version of \today, \Daytime.}

20: 

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

22: 

23: \input{abstract}

24: 

25: \vspace*{-1em}

26: \smartparagraph{Keywords:}

27: Records, Shape Analysis, Static Analysis, Program Verification,

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

29: 

30: \setcounter{tocdepth}{4}

31: \vspace*{-1em}

32: \tableofcontents

33: 

34: \input{introduction}

35: 

36:   %\input{example}

37: 

38:   % \input{spatial-intro}

39: 

40: \input{role-logic}

41: 

42: \input{spatial-def}

43: \input{spatial-field-exprs}

44: 

45: \input{spatial-records}

46: 

47: \input{role-constraints}

48: 

49: \input{spatial-rltwo}

50: 

51: \input{spatial-core}

52: 

53: \input{spatial-remarks}

54: 

55: \input{related}

56: \input{conclusions}

57: 

58: \input{acknowledge}

59: 

60: \bibliographystyle{plain}

61: \bibliography{pnew}

62: 

63: \appendix

64: \input{proofs}

65: 

66: \end{document}

67: 

68: %%% Local Variables: 

69: %%% mode: latex

70: %%% TeX-master: "main"

71: %%% End: 

72: 

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

74: 

75: