Freek Wiedijk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2002–2015
Best venue rank
Australasian
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CPP | A Typed C11 Semantics for Interactive Theorem Proving. | Robbert Krebbers, Freek Wiedijk |
| 2014 | ITP | Formal C Semantics: CompCert and the C Standard. | Robbert Krebbers, Xavier Leroy, Freek Wiedijk |
| 2013 | FOSSACS | Separation Logic for Non-local Control Flow and Block Scope Variables. | Robbert Krebbers, Freek Wiedijk |
| 2010 | AISC | Proviola: A Tool for Proof Re-animation. | Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk |
| 2002 | AISC | The Meaning of Infinity in Calculus and Computer Algebra Systems. | Michael Beeson, Freek Wiedijk |