Back to Results
First PageMeta Content
Software engineering / Computing / Computer programming / Compiler construction / Data types / Variable / C++ / Functional languages / Compiler correctness / Thread-local storage / Pointer / C dynamic memory allocation


Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2
Add to Reading List

Document Date: 2014-02-21 09:31:36

Open Document

File Size: 641,87 KB

Share Result on Facebook
UPDATE