Skip to main content

An Empirical Study of Messaging Passing Concurrency in Go Projects

Dilley, Nicolas, Lange, Julien (2019) An Empirical Study of Messaging Passing Concurrency in Go Projects. In: Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. . IEEE ISBN 978-1-72810-591-8. (doi:10.1109/SANER.2019.8668036) (KAR id:71491)

PDF Author's Accepted Manuscript
Language: English
Download (313kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1109/SANER.2019.8668036

Abstract

Go is a popular programming language renowned for its good support for system programming and its channel-

unsupported by existing static verification frameworks.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1109/SANER.2019.8668036
Uncontrolled keywords: Golang, message passing, static analysis, empirical study
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Julien Lange
Date Deposited: 03 Jan 2019 09:18 UTC
Last Modified: 30 May 2019 08:42 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/71491 (The current URI for this page, for reference purposes)
Lange, Julien: https://orcid.org/0000-0001-9697-1378
  • Depositors only (login required):

Downloads

Downloads per month over past year