source: doc/theses/aaron_moss_PhD/phd@ 8f55e8e9

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Name Size Rev Age Author Last Change
../
code 48b7085e   7 years a3moss Start into generic types design in thesis
evaluation f1240b0   6 years a3moss thesis: strip CFA-DCA results, add speedup graph
figures 8b1dc66   7 years a3moss thesis: second draft of ch.4
.gitignore 110 bytes ​ 4075228   7 years a3moss Start generics chapter of thesis, add code examples of C polymorphic types
background.tex 33.4 KB ​ c1f3d1a8   6 years a3moss thesis: more motivation for expression resolution problem, per Gregor
cfa-macros.tex 3.2 KB ​ 4075228   7 years a3moss Start generics chapter of thesis, add code examples of C polymorphic types
conclusion.tex 3.1 KB ​ 8f55e8e9   6 years a3moss thesis: comment on general applications in conclusion, per Gregor
experiments.tex 31.4 KB ​ 8f55e8e9   6 years a3moss thesis: comment on general applications in conclusion, per Gregor
frontpgs.tex 8.4 KB ​ e71272a   6 years a3moss thesis: unify abstract with common thesis, per Gregor
generic-bench.tex 4.3 KB ​ d1b1063   7 years a3moss thesis: Add appendix with generic benchmark code
generic-types.tex 40.1 KB ​ 397848f5   6 years a3moss thesis: typos from Gregor
introduction.tex 4.4 KB ​ e1e3578   7 years a3moss thesis: incorporate Peter's edits for introduction
macros.tex 1.3 KB ​ f1240b0   6 years a3moss thesis: strip CFA-DCA results, add speedup graph
Makefile 1.9 KB ​ d1b1063   7 years a3moss thesis: Add appendix with generic benchmark code
resolution-heuristics.tex 50.5 KB ​ c1f3d1a8   6 years a3moss thesis: more motivation for expression resolution problem, per Gregor
thesis.tex 7.6 KB ​ a786586   6 years a3moss thesis: fix URL line breaks in References
timeline.md 859 bytes ​ 4075228   7 years a3moss Start generics chapter of thesis, add code examples of C polymorphic types
type-environment.tex 36.6 KB ​ 2834e99   6 years a3moss thesis: add CFA usage example for type environment, per Gregor
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.