Golo, a dynamic, light and efficient language for post-invokedynamic JVM, Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools, PPPJ '13, pp.153-158, 2013. ,
DOI : 10.1145/2500828.2500844
URL : https://hal.archives-ouvertes.fr/hal-00848514
Why3 : Shepherd your herd of provers, Boogie 2011 : First International Workshop on Intermediate Verification Languages, pp.53-64, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00790310
Reasoning About Java Programs with Aliasing and Frame Conditions, Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'05, pp.179-194, 2005. ,
DOI : 10.1007/11541868_12
Why3 ??? Where Programs Meet Provers, ESOP'13 22nd European Symposium on Programming, 2013. ,
DOI : 10.1007/978-3-642-37036-6_8
Jml : a java modeling language, Formal Underpinnings of Java Workshop (at OOPSLA'98, 1998. ,
To Run What No One Has Run Before: Executing an Intermediate Verification Language, Runtime Verification : 4th International Conference Proceedings, chapter, pp.251-268, 2013. ,
DOI : 10.1007/978-3-642-40787-1_15
The alt-ergo automated theorem prover, 2008. ,
Reasoning about comprehensions with first-order smt solvers, Proceedings of the 2009 ACM Symposium on Applied Computing, SAC '09, pp.615-622, 2009. ,
Loop invariants, ACM Computing Surveys, vol.46, issue.3, pp.1-3451, 2014. ,
DOI : 10.1145/2506375
Spoon, Proceedings of the 1st workshop on Aspect oriented middleware development , AOMD '05, 2006. ,
DOI : 10.1145/1101560.1101566
URL : https://hal.archives-ouvertes.fr/inria-00071366