Separation Logic for Non-local Control Flow and Block Scope Variables

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

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