Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semi-persistent Data Structures., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 322-336. Springer, (2008)Trusting computations: A mechanized proof from partial differential equations to actual program., , , , , and . Comput. Math. Appl., 68 (3): 325-352 (2014)Type-safe modular hash-consing., and . ML, page 12-19. ACM, (2006)Abstraction and Genericity in Why3., and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 122-142. Springer, (2020)Proof of Imperative Programs in Type Theory.. TYPES, volume 1657 of Lecture Notes in Computer Science, page 78-92. Springer, (1998)Functory: A Distributed Computing Library for Objective Caml., and . Trends in Functional Programming, volume 7193 of Lecture Notes in Computer Science, page 65-81. Springer, (2011)A functional implementation of the garsia--wachs algorithm: (functional pearl).. ML, page 91-96. ACM, (2008)Ortac: Runtime Assertion Checking for OCaml (Tool Paper)., and . RV, volume 12974 of Lecture Notes in Computer Science, page 244-253. Springer, (2021)The 2nd Verified Software Competition: Experience Report., , and . COMPARE, volume 873 of CEUR Workshop Proceedings, page 36-49. CEUR-WS.org, (2012)Discharging Proof Obligations from Atelier B Using Multiple Automated Provers., , , and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 238-251. Springer, (2012)