Future-based Static Analysis of Message Passing Programs. Oortwijn, W., Blom, S., & Huisman, M. In PLACES, volume 211, of EPTCS, pages 65–72, 2016. ![Future-based Static Analysis of Message Passing Programs [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{DBLP:journals/corr/OortwijnBH16,
author = {Wytse Oortwijn and Stefan Blom and Marieke Huisman},
title = {Future-based Static Analysis of Message Passing Programs},
booktitle = {{PLACES}},
series = {{EPTCS}},
volume = {211},
pages = {65--72},
year = {2016},
url = {https://arxiv.org/abs/1606.05942}
}
Downloads: 0
{"_id":"ouQtxNCux3xTYzFKj","bibbaseid":"oortwijn-blom-huisman-futurebasedstaticanalysisofmessagepassingprograms-2016","authorIDs":["5d14be645b939dee01000058","5d19efc3dc4782da010004c4"],"author_short":["Oortwijn, W.","Blom, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Wytse"],"propositions":[],"lastnames":["Oortwijn"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"Future-based Static Analysis of Message Passing Programs","booktitle":"PLACES","series":"EPTCS","volume":"211","pages":"65–72","year":"2016","url":"https://arxiv.org/abs/1606.05942","bibtex":"@inproceedings{DBLP:journals/corr/OortwijnBH16,\n author = {Wytse Oortwijn and Stefan Blom and Marieke Huisman},\n title = {Future-based Static Analysis of Message Passing Programs},\n booktitle = {{PLACES}},\n series = {{EPTCS}},\n volume = {211},\n pages = {65--72},\n year = {2016},\n url = {https://arxiv.org/abs/1606.05942}\n}\n\n","author_short":["Oortwijn, W.","Blom, S.","Huisman, M."],"key":"DBLP:journals/corr/OortwijnBH16","id":"DBLP:journals/corr/OortwijnBH16","bibbaseid":"oortwijn-blom-huisman-futurebasedstaticanalysisofmessagepassingprograms-2016","role":"author","urls":{"Paper":"https://arxiv.org/abs/1606.05942"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.082Z","downloads":0,"keywords":[],"search_terms":["future","based","static","analysis","message","passing","programs","oortwijn","blom","huisman"],"title":"Future-based Static Analysis of Message Passing Programs","year":2016,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}