Fencing off Go : Liveness and safety for channel-based programming. / Lange, Julien; Ng, Nicholas; Toninho, Bernardo; Yoshida, Nobuko.

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 proceedingConference contribution

Published
Original languageEnglish
Title of host publicationPOPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
EditorsAndrew D. Gordon, Giuseppe Castagna
PublisherAssociation for Computing Machinery (ACM)
Pages748-761
Number of pages14
ISBN (Electronic)9781450346603
DOIs
Publication statusPublished - Jan 2017
Event44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 - Paris, France
Duration: 15 Jan 201721 Jan 2017

Publication series

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

Conference

Conference44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017
CountryFrance
CityParis
Period15/01/1721/01/17
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39128800