A static verification framework for message passing in Go using behavioural types

Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida

doi:10.1145/3180155.3180157

A static verification framework for message passing in Go using behavioural types

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 40th International Conference on Software Engineering, ICSE 2018
Publisher	IEEE Computer Society
Pages	1137-1148
Number of pages	12
ISBN (Electronic)	9781450356381
DOIs	https://doi.org/10.1145/3180155.3180157
Publication status	Published - 27 May 2018
Event	40th International Conference on Software Engineering, ICSE 2018 - Gothenburg, Sweden Duration: 27 May 2018 → 3 Jun 2018

Publication series

Name	Proceedings - International Conference on Software Engineering
ISSN (Print)	0270-5257

Conference

Conference	40th International Conference on Software Engineering, ICSE 2018
Country/Territory	Sweden
City	Gothenburg
Period	27/05/18 → 3/06/18

Access to Document

10.1145/3180155.3180157Licence: CC BY

Cite this

@inproceedings{d74cf47d88fe4bf5ab4e2792b3177af4,

title = "A static verification framework for message passing in Go using behavioural types",

author = "Julien Lange and Nicholas Ng and Bernardo Toninho and Nobuko Yoshida",

year = "2018",

month = may,

day = "27",

doi = "10.1145/3180155.3180157",

language = "English",

series = "Proceedings - International Conference on Software Engineering",

publisher = "IEEE Computer Society",

pages = "1137--1148",

booktitle = "Proceedings of the 40th International Conference on Software Engineering, ICSE 2018",

address = "United States",

note = "40th International Conference on Software Engineering, ICSE 2018 ; Conference date: 27-05-2018 Through 03-06-2018",

}

Lange, J, Ng, N, Toninho, B & Yoshida, N 2018, A static verification framework for message passing in Go using behavioural types. in Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. Proceedings - International Conference on Software Engineering, IEEE Computer Society, pp. 1137-1148, 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, 27/05/18. https://doi.org/10.1145/3180155.3180157

A static verification framework for message passing in Go using behavioural types. / Lange, Julien; Ng, Nicholas; Toninho, Bernardo et al.
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, 2018. p. 1137-1148 (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A static verification framework for message passing in Go using behavioural types

AU - Lange, Julien

AU - Ng, Nicholas

AU - Toninho, Bernardo

AU - Yoshida, Nobuko

PY - 2018/5/27

Y1 - 2018/5/27

UR - http://www.scopus.com/inward/record.url?scp=85049391377&partnerID=8YFLogxK

U2 - 10.1145/3180155.3180157

DO - 10.1145/3180155.3180157

M3 - Conference contribution

AN - SCOPUS:85049391377

T3 - Proceedings - International Conference on Software Engineering

SP - 1137

EP - 1148

BT - Proceedings of the 40th International Conference on Software Engineering, ICSE 2018

PB - IEEE Computer Society

T2 - 40th International Conference on Software Engineering, ICSE 2018

Y2 - 27 May 2018 through 3 June 2018

ER -

A static verification framework for message passing in Go using behavioural types

Publication series

Conference

Access to Document

Other files and links

Cite this