Operational, executable, and axiomatic semantics for C11robbertkrebbers.nl2 points·edwintorok··0 commentsOpen articleSaveView on HN