{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T07:50:03Z","timestamp":1672645803428},"reference-count":10,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.246.6","type":"journal-article","created":{"date-parts":[[2017,4,8]],"date-time":"2017-04-08T01:31:39Z","timestamp":1491615099000},"page":"28-36","source":"Crossref","is-referenced-by-count":1,"title":["Inferring Types for Parallel Programs"],"prefix":"10.4204","volume":"246","author":[{"given":"Francisco","family":"Martins","sequence":"first","affiliation":[{"name":"LaSIGE, Faculty of Sciences, University of Lisbon"}]},{"given":"Vasco Thudichum","family":"Vasconcelos","sequence":"additional","affiliation":[{"name":"LaSIGE, Faculty of Sciences, University of Lisbon"}]},{"given":"Hans","family":"H\u00fcttel","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Aalborg University"}]}],"member":"2720","published-online":{"date-parts":[[2017,4,8]]},"reference":[{"key":"DBLP:journals\/corr\/abs-1302-6331","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"21","DOI":"10.4204\/EPTCS.109.4","article-title":"Merging Multiparty Protocols in Multiparty Choreographies","volume-title":"PLACES","volume":"109","author":"Carbone","year":"2012"},{"issue":"12","key":"formal-verification-mpi","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2043174.2043194","article-title":"Formal Analysis of MPI-based Parallel Programs","volume":"54","author":"Gopalakrishnan","year":"2011","journal-title":"Communications of the ACM"},{"key":"Gropp:1999:UMP:330577","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7056.001.0001","volume-title":"Using MPI (2nd Ed.): Portable Parallel Programming with the Message-passing Interface","author":"Gropp","year":"1999"},{"issue":"1","key":"DBLP:journals\/jacm\/HondaYC16","doi-asserted-by":"publisher","DOI":"10.1145\/2827695","article-title":"Multiparty Asynchronous Session Types","volume":"63","author":"Honda","year":"2016","journal-title":"J. ACM"},{"key":"DBLP:journals\/corr\/LangeS13","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"52","DOI":"10.4204\/EPTCS.131.6","article-title":"Choreography Synthesis as Contract Agreement","volume-title":"ICE","volume":"131","author":"Lange","year":"2013"},{"key":"Lopez:2015:PVM:2814270.2814302","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/2814270.2814302","article-title":"Protocol-based Verification of Message-passing Parallel Programs","volume-title":"OOPSLA","author":"L\u00f3pez","year":"2015"},{"key":"DBLP:conf\/pldi\/RondonKJ08","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/1375581.1375602","article-title":"Liquid Types","volume-title":"POPL","author":"Rondon","year":"2008"},{"key":"vasconcelos.etal:deductive-verification-of-mpi-protocols","volume-title":"Behavioural Types: From Theory to Practice","author":"Vasconcelos","year":"2017"},{"key":"DBLP:conf\/esop\/VazouRJ13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-37036-6_13","article-title":"Abstract Refinement Types","volume-title":"Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings","volume":"7792","author":"Vazou","year":"2013"},{"key":"xi.pfenning:dependent-types-practical-programming","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/292540.292560","article-title":"Dependent Types in Practical Programming","volume-title":"POPL","author":"Xi","year":"1999"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T20:12:14Z","timestamp":1569010334000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1704.03096v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.4204\/eptcs.246.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,8]]}}}