C-semantics - Semantics of C in the K Frameworkcode.google.com4 points·wglb··0 commentsOpen articleSaveView on HN