Search or ask a question
Pricing
Login
Sign up
Home
Notebook
BETA
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
View figures gallery
Fig. 5: Memory injection: extra constraints
...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
-