Separation Logic for Non-local Control Flow and Block Scope Variables. Krebbers, R. & Wiedijk, F. In Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, volume 7794, of Lecture Notes in Computer Science, pages 257–272, 2013. Springer.
![Separation Logic for Non-local Control Flow and Block Scope Variables [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2013a,
Author = {R. Krebbers and Freek Wiedijk},
Booktitle = {Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013},
Date-Added = {2014-11-16 23:18:17 +0000},
Date-Modified = {2014-11-16 23:20:16 +0000},
Editor = {Frank Pfenning},
Pages = {257--272},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Separation Logic for Non-local Control Flow and Block Scope Variables},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/nonlocal.pdf},
Volume = {7794},
Year = {2013}}Downloads: 0
{"_id":"PMqaWz5EgiJxTdFHa","bibbaseid":"krebbers-wiedijk-separationlogicfornonlocalcontrolflowandblockscopevariables-2013","author_short":["Krebbers, R.","Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Krebbers"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013","date-added":"2014-11-16 23:18:17 +0000","date-modified":"2014-11-16 23:20:16 +0000","editor":[{"firstnames":["Frank"],"propositions":[],"lastnames":["Pfenning"],"suffixes":[]}],"pages":"257–272","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Separation Logic for Non-local Control Flow and Block Scope Variables","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/nonlocal.pdf","volume":"7794","year":"2013","bibtex":"@inproceedings{freek2013a,\n\tAuthor = {R. Krebbers and Freek Wiedijk},\n\tBooktitle = {Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013},\n\tDate-Added = {2014-11-16 23:18:17 +0000},\n\tDate-Modified = {2014-11-16 23:20:16 +0000},\n\tEditor = {Frank Pfenning},\n\tPages = {257--272},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Separation Logic for Non-local Control Flow and Block Scope Variables},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/nonlocal.pdf},\n\tVolume = {7794},\n\tYear = {2013}}\n\n","author_short":["Krebbers, R.","Wiedijk, F."],"editor_short":["Pfenning, F."],"key":"freek2013a","id":"freek2013a","bibbaseid":"krebbers-wiedijk-separationlogicfornonlocalcontrolflowandblockscopevariables-2013","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/nonlocal.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["separation","logic","non","local","control","flow","block","scope","variables","krebbers","wiedijk"],"title":"Separation Logic for Non-local Control Flow and Block Scope Variables","year":2013}