4 ms·How does it work when the subject matter is compilers, for example in the context of CompCert?by dbpokorny 12y agoHow does it work when the subject matter is compilers, for example in the context of CompCert?