This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
When I first stumbled upon certifying compilation1, I was absolutely awestruck. I thought a compiler was a very specific thing, a translator from source to target language. But a certifying compiler goes further: it also proves its own correctness. My motto has become “most tests should be generated”, so this immediately seemed like a promising approach to my goal of improving the generative…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.