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
|
|
|
|
This file may not be suitable for user of assistive technology. Request an accessible format. |
||
| 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 |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric