A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions

In this paper, we present a small-step operational semantics for a small concurrent language supporting deferred function calls and related constructs in the style of the Go programming language. For lexical scoping, the presence of higher-order functions, but also the presence of the defer-command, requires the notion of closures in the semantics.

• Type: Journal
• Year: 2016
• Where: BIRTHDAY
• Authors: Martin Steffen
• Keywords: Applied Computing, BIRTHDAY 2016