K framework: An Executable Formal Semantics of C with Applications

lambda-the-ultimate.org