Ph.D. student at the Department of Computer Science, University of Copenhagen
| [1] | Tom Hvitved, Felix Klaedtke, and Eugen Zālinescu. A trace-based model for multiparty contracts. Journal of Logic and Algebraic Programming, 81(2):72-98, 2012. [ bib ] |
| [2] | Patrick Bahr and Tom Hvitved. Parametric compositional data types. MSFP 2012, to appear, 2012. [ bib ] |
| [3] | Patrick Bahr and Tom Hvitved. Compositional Data Types. In Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, pages 83-94, New York, NY, USA, 2011. ACM. [ bib ] |
| [4] | Tom Hvitved. A trace-based model for multi-party contracts. In Formal Languages and Analysis of Contract-Oriented Software, pages 63-70, 2010. [ bib | .pdf ] |
| [5] | Tom Hvitved. A Survey of Formal Languages for Contracts. In Formal Languages and Analysis of Contract-Oriented Software, pages 29-32, 2010. [ bib | .pdf ] |
| [6] | Tom Hvitved. Contracts in Programming and in Enterprise Systems. Master's thesis, Department of Computer Science, University of Copenhagen, 2009. Ph.D. Progress Report. [ bib | .pdf ] |
| [7] | Anders Starcke Henriksen, Tom Hvitved, and Andrzej Filinski. A Game-Theoretic Model for Distributed Programming by Contract. In GI Jahrestagung, pages 3473-3484, 2009. [ bib ] |
| [8] | Tom Hvitved. Architectural Analysis of Microsoft Dynamics NAV. Technical report, Department of Computer Science, University of Copenhagen, 2009. [ bib | .pdf ] |