Sciweavers

TPHOL
2007
IEEE
14 years 5 months ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge

Book
332views
15 years 9 months ago
Developing Applications With Objective Caml
"This is a preliminary translation of the book Développement d'applications avec Objective Caml by Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, published by O�...
Emmanuel Chailloux, Pascal Manoury and Bruno Pagan...