SkyLabs BRiCk
0.5.0
Table of Contents
Language Support
Evaluation
Undefined behavior and optimizations
Pointers and pointer provenance
Object representation, layout and padding
Assembly Interoperation
Code Documentation
Related work and bibliography
Acknowledgements
SkyLabs BRiCk
Index
Index