Former 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. Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10). [ bib | DOI ] |
| [2] | Patrick Bahr and Tom Hvitved. Parametric Compositional Data Types. In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming, volume 76 of Electronic Proceedings in Theoretical Computer Science, pages 3-24. Open Publishing Association, 2012. [ bib | DOI ] |
| [3] | Tom Hvitved. Contract Formalisation and Modular Implementation of Domain-Specific Languages. PhD thesis, Department of Computer Science, University of Copenhagen, 2012. [ bib | .pdf ] |
| [4] | Patrick Bahr and Tom Hvitved. Compositional Data Types. In Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP '11, pages 83-94, New York, NY, USA, 2011. ACM. [ bib | DOI ] |
| [5] | 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 ] |
| [6] | Tom Hvitved. A Survey of Formal Languages for Contracts. In Formal Languages and Analysis of Contract-Oriented Software, pages 29-32, 2010. [ bib | .pdf ] |
| [7] | 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 ] |
| [8] | 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 ] |
| [9] | Tom Hvitved. Architectural Analysis of Microsoft Dynamics NAV. Technical report, Department of Computer Science, University of Copenhagen, 2009. [ bib | .pdf ] |