The first technical papers have been made publicly available from the ADHOC (The Advanced Developers Hands On Conference) website. It includes, but is not limited to: “Cross-Platform Approaches from a Macintosh Perspective”, “Hacking the Mac OS X Kernel for Unsupported Machines”, “Program Analysis and Verification on Mac OS X”.
ADHOC 2005 Papers Publicly Available
Submitted by anonymous 2005-07-31 macOS 6 Comments
It’s a minor point, but in the Types++ paper summary…
C/C++ (and other strongly, statically typed languages)
Isn’t C/C++ generally considered a weakly statically typed language? That is, you’re able to cast to a different type even when doing so is unsafe?