Permission-Based Separation Logic for Multithreaded Java Programs

Permission-Based Separation Logic for Multithreaded Java Programs. Haack, C., Huisman, M., & Hurlin, C. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15:13–23, Nederlandse Vereniging voor Theoretische Informatica, 2011.

Paper bibtex

@article{Haack76303,
    Author      = {C. Haack and M. Huisman and C. Hurlin},
    Journal     = {Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica},
    Pages       = {13--23},
    Publisher   = {Nederlandse Vereniging voor Theoretische Informatica},
    Title       = {Permission-Based Separation Logic for Multithreaded Java Programs},
    Volume      = {15},
    Year        = {2011},
    url         = {https://research.utwente.nl/en/publications/permission-based-separation-logic-for-multi-threaded-java-program}
    }

Downloads: 0

{"_id":"Wr7s2v7bqtSJAEEqX","bibbaseid":"haack-huisman-hurlin-permissionbasedseparationlogicformultithreadedjavaprograms-2011","authorIDs":[],"author_short":["Haack, C.","Huisman, M.","Hurlin, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["C."],"propositions":[],"lastnames":["Haack"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["Hurlin"],"suffixes":[]}],"journal":"Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica","pages":"13–23","publisher":"Nederlandse Vereniging voor Theoretische Informatica","title":"Permission-Based Separation Logic for Multithreaded Java Programs","volume":"15","year":"2011","url":"https://research.utwente.nl/en/publications/permission-based-separation-logic-for-multi-threaded-java-program","bibtex":"@article{Haack76303,\n Author = {C. Haack and M. Huisman and C. Hurlin},\n Journal = {Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica},\n Pages = {13--23},\n Publisher = {Nederlandse Vereniging voor Theoretische Informatica},\n Title = {Permission-Based Separation Logic for Multithreaded Java Programs},\n Volume = {15},\n Year = {2011},\n url = {https://research.utwente.nl/en/publications/permission-based-separation-logic-for-multi-threaded-java-program}\n }\n\n","author_short":["Haack, C.","Huisman, M.","Hurlin, C."],"key":"Haack76303","id":"Haack76303","bibbaseid":"haack-huisman-hurlin-permissionbasedseparationlogicformultithreadedjavaprograms-2011","role":"author","urls":{"Paper":"https://research.utwente.nl/en/publications/permission-based-separation-logic-for-multi-threaded-java-program"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-07-02T12:17:56.515Z","downloads":0,"keywords":[],"search_terms":["permission","based","separation","logic","multithreaded","java","programs","haack","huisman","hurlin"],"title":"Permission-Based Separation Logic for Multithreaded Java Programs","year":2011,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}