Nettsider med emneord «Go»
Publisert 31. juli 2018 14:33
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 1. des. 2014 08:23