Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fulltext present in this item
Fulltext:
117227.pdf
Format:
PDF
Description:
preprint version
Embargo:
until further notice
Title:
Separation Logic for Non-local Control Flow and Block Scope Variables
Author(s):
Krebbers, R.J.
;
Wiedijk, F.
Publication year:
2013
In:
Pfenning, F. (ed.), Foundations of Software Science and Computation Structures, pp. 257-272
Publisher:
Berlin : Springer
ISBN:
9783642370748
Series:
Lecture Notes in Computer Science ; 7794
DOI:
https://doi.org/10.1007/978-3-642-37075-5_17
Publication type:
Part of book or chapter of book
Please use this identifier to cite or link to this item :
https://hdl.handle.net/2066/117227
Display more details
Editor(s):
Pfenning, F.
Subject:
Data Science
Organization:
Data Science
Foundations
Software Science
Book title:
Pfenning, F. (ed.), Foundations of Software Science and Computation Structures
Page start:
p. 257
Page end:
p. 272
This item appears in the following Collection(s)
Faculty of Science
[28910]
Electronic publications
[87086]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications
[187613]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Advanced Search
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics