Search or ask a question
Pricing
Login
Sign up
Home
Notebook
BETA
Profile
Citation booster
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
View figures gallery
Fig. 8: Variables on the left ; stack frame on the right.
...read more
Content maybe subject to copyright
Book Chapter
•
DOI
•
A Concrete Memory Model for CompCert
[...]
Frédéric Besson
1
,
Sandrine Blazy
2
,
Pierre Wilke
2
•
Institutions (2)
French Institute for Research in Computer Science and Automation
1
,
University of Rennes
2
24 Aug 2015
-