20 citations · 67 across the 17 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…
cs.PL2020★ 20 cited
Bounded verification of message-passing concurrency in Go using Promela and Spin
Nicolas Dilley, Julien Lange
This paper describes a static verification framework for the message-passing fragment of the Go programming language. Our framework extracts models that over-approximate the messag…