4 ms·
By coincidence The Morning Paper has this today: A static verification framework for message passing in Go using behavioural types, Lange et al., ICSE 18 http
by mikhailfranco 9y ago
By coincidence The Morning Paper has this today:
A static verification framework for message passing in Go using behavioural types, Lange et al., ICSE 18
http://blog.acolyer.org/2018/01/25/a-static-verification-framework-for-message-passing-in-go-using-behavioural-types/ http://blog.acolyer.org/2018/01/25/a-static-verification-fra...