Tom Hvitved

According to our database, Tom Hvitved authored at least 5 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Domain-Specific Languages for Enterprise Systems.

Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2012

A trace-based model for multiparty contracts.

Tom Hvitved, Felix Klaedtke, Eugen Zalinescu

J. Log. Algebraic Methods Program., 2012

Parametric Compositional Data Types

Patrick Bahr, Tom Hvitved

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

2011

Compositional data types.

Patrick Bahr, Tom Hvitved

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2009

A Game-Theoretic Model for Distributed Programming by Contract.

Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009