Nettsider med emneord «Go»

Publisert 25. sep. 2017 21:01

The presentation by Daniel Fava at the Doctoral Symposium of the 13th International  integrated Formal Methods (iFM 2017) won the award for  the symposium's best presentation (shared with a second winner). The presentation covers joint work with Martin Steffen, Volker Stolz, and Stian Valle, about   ``An Operational Semantics for a Weak Memory Model with Buffered Writes, Message Passing, and Goroutines''.


Publisert 4. des. 2015 12:32
Publisert 14. sep. 2015 17:17
Publisert 1. des. 2014 08:23