Separation Logic Contracts for a Java-Like Language with Fork/Join. Haack, C. & Hurlin, C. In Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pages 199–215, 2008. Paper doi bibtex 3 downloads @inproceedings{DBLP:conf/amast/HaackH08,
author = {Christian Haack and Cl{\'{e}}ment Hurlin},
title = {Separation Logic Contracts for a Java-Like Language with Fork/Join},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
pages = {199--215},
year = {2008},
crossref = {DBLP:conf/amast/2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_16},
doi = {10.1007/978-3-540-79980-1\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/bib/conf/amast/HaackH08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 3
{"_id":"ZxrznFBDigauHXane","bibbaseid":"haack-hurlin-separationlogiccontractsforajavalikelanguagewithforkjoin-2008","authorIDs":[],"author_short":["Haack, C.","Hurlin, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Haack"],"suffixes":[]},{"firstnames":["Clément"],"propositions":[],"lastnames":["Hurlin"],"suffixes":[]}],"title":"Separation Logic Contracts for a Java-Like Language with Fork/Join","booktitle":"Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings","pages":"199–215","year":"2008","crossref":"DBLP:conf/amast/2008","url":"https://doi.org/10.1007/978-3-540-79980-1\\_16","doi":"10.1007/978-3-540-79980-1_16","timestamp":"Tue, 14 May 2019 10:00:38 +0200","biburl":"https://dblp.org/rec/bib/conf/amast/HaackH08","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/amast/HaackH08,\n author = {Christian Haack and Cl{\\'{e}}ment Hurlin},\n title = {Separation Logic Contracts for a Java-Like Language with Fork/Join},\n booktitle = {Algebraic Methodology and Software Technology, 12th International\n Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},\n pages = {199--215},\n year = {2008},\n crossref = {DBLP:conf/amast/2008},\n url = {https://doi.org/10.1007/978-3-540-79980-1\\_16},\n doi = {10.1007/978-3-540-79980-1\\_16},\n timestamp = {Tue, 14 May 2019 10:00:38 +0200},\n biburl = {https://dblp.org/rec/bib/conf/amast/HaackH08},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Haack, C.","Hurlin, C."],"key":"DBLP:conf/amast/HaackH08","id":"DBLP:conf/amast/HaackH08","bibbaseid":"haack-hurlin-separationlogiccontractsforajavalikelanguagewithforkjoin-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-79980-1\\_16"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-07-02T12:17:56.512Z","downloads":3,"keywords":[],"search_terms":["separation","logic","contracts","java","language","fork","join","haack","hurlin"],"title":"Separation Logic Contracts for a Java-Like Language with Fork/Join","year":2008,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}