A Formal C Memory Model for Separation Logic

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	A Formal C Memory Model for Separation Logic
Author(s):	Krebbers, R.
Publication year:	2016
Source:	Journal of Automated Reasoning, vol. 57, iss. 4, (2016), pp. 319-387
ISSN:	0168-7433
DOI:	https://doi.org/10.1007/s10817-016-9369-1
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/161380
Display more details
Subject:	Data Science
Organization:	Data Science
Journal title:	Journal of Automated Reasoning
Volume:	vol. 57
Issue:	iss. 4
Page start:	p. 319
Page end:	p. 387

Faculty of Science [28903]
Open Access publications [56535]
Freely accessible full text publications
Electronic publications [87075]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [187595]
Academic output Radboud University