The B-Book, assigning programs to meaning, 1996. ,
Deductive Software Verification -The KeY Book -From Theory to Practice, Lecture Notes in Computer Science, vol.10001, 2016. ,
An algebraic approach to mixins and modularity, 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pp.179-193, 1996. ,
Space/time trade-offs in hash coding with allowable errors, Commun. ACM, vol.13, issue.7, pp.422-426, 1970. ,
Modules in Type Theory with Generative Definitions, 2004. ,
Why3 -where programs meet provers, Proceedings of the 22nd European Symposium on Programming, vol.7792, pp.125-128, 2013. ,
VeriFast: A powerful, sound, predictable, fast verifier for C and Java, NASA Formal Methods, vol.6617, pp.41-55, 2011. ,
Programming language features for refinement, Proceedings 17th International Workshop on Refinement, Refine@FM, vol.209, pp.87-106, 2015. ,
Dafny: An automatic program verifier for functional correctness, LPAR-16, vol.6355, pp.348-370, 2010. ,
Modular Verification Scopes via Export Sets and Translucent Exports, pp.185-202, 2018. ,
A modular module system, Journal of Functional Programming, vol.10, issue.3, pp.269-303, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00073825
Real-World Algorithms: A Beginner's Guide, 2017. ,
Probability and Computing: Randomized Algorithms and Probabilistic Analysis, 2005. ,
How to get an efficient yet verified arbitrary-precision integer library, 9th Working Conference on Verified Software: Theories, Tools, and Experiments, vol.10712, pp.84-101, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01519732
Traits: Composable units of behaviour, ECOOP 2003 -Object-Oriented Programming, pp.248-274, 2003. ,
First-Class Type Classes, 21th International Conference on Theorem Proving in Higher Order Logics, vol.5170, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00628864
How to make ad-hoc polymorphism less ad hoc, Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '89, pp.60-76, 1989. ,