Back to Results
First PageMeta Content
Mereology / Predicate logic / Cell / Pointer / Memory / C / Computing / Software engineering / Computer programming


Formal Veri ation of a Memory Model for C -Like Imperative Languages Sandrine Blazy and Xavier Leroy INRIA Ro quen ourt[removed]Le Chesnay edex, Fran e
Add to Reading List

Document Date: 2005-10-31 04:04:01

Open Document

File Size: 297,47 KB

Share Result on Facebook

Facility

Xavier Leroy store / For spa / Axiom store / /

IndustryTerm

veri ation tools / riti al software / /

Person

Xavier Leroy / Xavier Leroy Figure / Xavier Leroy Coq / /

Position

memory model / king / proof assistant / model / /

ProgrammingLanguage

Java / C / /

Technology

Java / simulation / /

SocialTag