You want to favourite this toot:

My former research group in Cambridge put a very nice tool online, Cerberus, with a web interface. "Cerberus is a tool for exploring the semantics of the C programming language". So whomever must program C may want to use and discover C semantics and undefined behaviour - find it at http://cerberus.cl.cam.ac.uk/#formalmethods#C

0

Why is this step necessary?functional.cafe might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here