The archive "sizeanalysis" contains materials for the tutorial
 "Foundational Aspects of Size Analysis".

It consists of 4 files (except this "readme"):

1) "tutorialSizeAnalysishandout.pdf" contains the course slides,

2) "exercises.pdf" contains exercises,

3) "polysizeanalysis.pdf" contains the published paper
"Polynomial Size Analysis of First-Order Shapely Functions", that comprises
type checking and inference procedure for first-order shapely programs 

@article{LMCSTLCA07,
  author    = {Olha Shkaravska and
               Marko C. J. D. van Eekelen and
               Ron van Kesteren},
  title     = {Polynomial Size Analysis of First-Order Shapely Functions},
  journal   = {Logical Methods in Computer Science},
  volume    = {5, issue 2, paper 10},
  year      = {2009},
  pages     = {1-35},
  note      = {Special Issue with Selected Papers from TLCA 2007},
  ee        = {http://arxiv.org/abs/0902.2073},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

4) "ahaprojectpaper.pdf" contains the paper about AHA project. In particular, it
explains the connection between amortization and sizes.

@inproceedings{vEShvK07,
    author = {van Eekelen, Marko and Shkaravska, Olha and van Kesteren, Ron
              and Jacobs, Bart and Poll, Erik and Smetsers, Sjaak},
    title = {{AHA: Amortized Heap Space Usage Analysis}},
    booktitle = {Selected Papers of the $8^{th}$ International Symposium on
                 Trends in Functional Programming (TFP'07), New York, USA},
    editor = {Moraz{\'a}n, Marco},
    publisher = {Intellect Publishers, UK},
    pages = {36--53},
    year = {2007},
}