K framework: An Executable Formal Semantics of C with Applications (lambda-the-ultimate.org) 1 points by gtani 14y ago ↗ HN
0 comments
[ 4.3 ms ] story [ 8.6 ms ] threadNo comments yet.