publications.bib

@mastersthesis{hvitved09master,
  author = {Hvitved, Tom},
  title = {{Contracts in Programming and in Enterprise Systems}},
  school = {Department of Computer Science, University of Copenhagen},
  year = {2009},
  note = {Ph.D. Progress Report},
  url = {http://www.diku.dk/hjemmesider/ansatte/hvitved/publications/hvitved09master.pdf}
}

@inproceedings{henriksen09sgi,
  author = {Henriksen, Anders Starcke and Hvitved, Tom and Filinski, Andrzej},
  title = {{A Game-Theoretic Model for Distributed Programming by Contract}},
  booktitle = {GI Jahrestagung},
  year = {2009},
  pages = {3473--3484}
}

@techreport{hvitved09tr,
  author = {Hvitved, Tom},
  title = {{Architectural Analysis of Microsoft Dynamics NAV}},
  year = {2009},
  institution = {Department of Computer Science, University of Copenhagen},
  url = {http://www.diku.dk/hjemmesider/ansatte/hvitved/publications/hvitved09tr.pdf}
}

@inproceedings{hvitved10flacosa,
  author = {Hvitved, Tom},
  title = {A trace-based model for multi-party contracts},
  booktitle = {Formal Languages and Analysis of Contract-Oriented Software},
  year = {2010},
  pages = {63--70},
  url = {http://www.diku.dk/hjemmesider/ansatte/hvitved/publications/hvitved10flacosa.pdf}
}

@inproceedings{hvitved10flacosb,
  author = {Hvitved, Tom},
  title = {{A Survey of Formal Languages for Contracts}},
  booktitle = {Formal Languages and Analysis of Contract-Oriented Software},
  year = {2010},
  pages = {29--32},
  url = {http://www.diku.dk/hjemmesider/ansatte/hvitved/publications/hvitved10flacosb.pdf}
}

@inproceedings{bahr11wgp,
  author = {Bahr, Patrick and Hvitved, Tom},
  title = {{Compositional Data Types}},
  booktitle = {Proceedings of the seventh ACM SIGPLAN workshop on Generic programming},
  year = {2011},
  pages = {83--94},
  publisher = {ACM},
  address = {New York, NY, USA}
}

@article{hvitved12jlap,
  author = {Hvitved, Tom and Klaedtke, Felix and Z{\u a}linescu, Eugen},
  title = {{A trace-based model for multiparty contracts}},
  journal = {Journal of Logic and Algebraic Programming},
  year = {2012},
  volume = {81},
  number = {2},
  pages = {72--98},
  annote = {Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10)}
}

@unpublished{bahr12msfp,
  author = {Bahr, Patrick and Hvitved, Tom},
  title = {Parametric Compositional Data Types},
  note = {MSFP 2012, to appear},
  year = {2012}
}