Publications

2009
DOI
[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-oriented Language with Futures and Promises. Journal of Logic and Algebraic Programming 78(7), pages 491–518, 2009.
2007

[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-Oriented Language with Futures and Promises. Technical report at University of Oslo, Dept. of Computer Science number 364, 2007.

[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of an Object-Oriented Language with Futures and Promises. Nordic Workshop on Programming Theory (NWPT'07), , 2007.