Fencing off Go: Liveness and safety for channel-based programming

Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida

doi:10.1145/3009837.3009847

Fencing off Go: Liveness and safety for channel-based programming

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	POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Editors	Andrew D. Gordon, Giuseppe Castagna
Publisher	Association for Computing Machinery (ACM)
Pages	748-761
Number of pages	14
ISBN (Electronic)	9781450346603
DOIs	https://doi.org/10.1145/3009837.3009847
Publication status	Published - Jan 2017
Event	44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 - Paris, France Duration: 15 Jan 2017 → 21 Jan 2017

Publication series

Name	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)	0730-8566

Conference

Conference	44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017
Country/Territory	France
City	Paris
Period	15/01/17 → 21/01/17

Keywords

Channel-based programming
Compiletime (static) deadlock detection
Message-passing programming
Process calculus
Safety and Liveness
Types

Access to Document

10.1145/3009837.3009847Licence: CC BY

Cite this

Lange, J., Ng, N., Toninho, B., & Yoshida, N. (2017). Fencing off Go: Liveness and safety for channel-based programming. In A. D. Gordon, & G. Castagna (Eds.), POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (pp. 748-761). (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). Association for Computing Machinery (ACM). https://doi.org/10.1145/3009837.3009847

Lange, Julien ; Ng, Nicholas ; Toninho, Bernardo et al. / Fencing off Go : Liveness and safety for channel-based programming. POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. editor / Andrew D. Gordon ; Giuseppe Castagna. Association for Computing Machinery (ACM), 2017. pp. 748-761 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

@inproceedings{c87881c8bd574ca18f44050f202351fa,

title = "Fencing off Go: Liveness and safety for channel-based programming",

keywords = "Channel-based programming, Compiletime (static) deadlock detection, Message-passing programming, Process calculus, Safety and Liveness, Types",

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

year = "2017",

month = jan,

doi = "10.1145/3009837.3009847",

language = "English",

series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

publisher = "Association for Computing Machinery (ACM)",

pages = "748--761",

editor = "Gordon, {Andrew D.} and Giuseppe Castagna",

booktitle = "POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages",

address = "United States",

note = "44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 ; Conference date: 15-01-2017 Through 21-01-2017",

}

Lange, J, Ng, N, Toninho, B & Yoshida, N 2017, Fencing off Go: Liveness and safety for channel-based programming. in AD Gordon & G Castagna (eds), POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery (ACM), pp. 748-761, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 15/01/17. https://doi.org/10.1145/3009837.3009847

Fencing off Go: Liveness and safety for channel-based programming. / Lange, Julien; Ng, Nicholas; Toninho, Bernardo et al.
POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ed. / Andrew D. Gordon; Giuseppe Castagna. Association for Computing Machinery (ACM), 2017. p. 748-761 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

TY - GEN

T1 - Fencing off Go

T2 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017

AU - Lange, Julien

AU - Ng, Nicholas

AU - Toninho, Bernardo

AU - Yoshida, Nobuko

PY - 2017/1

Y1 - 2017/1

KW - Channel-based programming

KW - Compiletime (static) deadlock detection

KW - Message-passing programming

KW - Process calculus

KW - Safety and Liveness

KW - Types

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

U2 - 10.1145/3009837.3009847

DO - 10.1145/3009837.3009847

M3 - Conference contribution

AN - SCOPUS:85015320580

T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SP - 748

EP - 761

BT - POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

A2 - Gordon, Andrew D.

A2 - Castagna, Giuseppe

PB - Association for Computing Machinery (ACM)

Y2 - 15 January 2017 through 21 January 2017

ER -

Lange J, Ng N, Toninho B, Yoshida N. Fencing off Go: Liveness and safety for channel-based programming. In Gordon AD, Castagna G, editors, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM). 2017. p. 748-761. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). doi: 10.1145/3009837.3009847

Fencing off Go: Liveness and safety for channel-based programming

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this