J. Ponge, F. L. Mouël, and N. Stouls, 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

F. Bobot, J. Filliâtre, C. Marché, and A. Paskevich, 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

C. Marché and C. Paulin-mohring, 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

J. Filliâtre and A. Paskevich, Why3 ??? Where Programs Meet Provers, ESOP'13 22nd European Symposium on Programming, 2013.
DOI : 10.1007/978-3-642-37036-6_8

T. Gary, A. L. Leavens, C. Baker, and . Ruby, Jml : a java modeling language, Formal Underpinnings of Java Workshop (at OOPSLA'98, 1998.

N. Polikarpova, S. Furia, and C. A. West, 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

F. Bobot, S. Conchon, M. Contejean, S. Iguernelala, A. Lescuyer et al., The alt-ergo automated theorem prover, 2008.

K. Rustan, M. Leino, and R. Monahan, Reasoning about comprehensions with first-order smt solvers, Proceedings of the 2009 ACM Symposium on Applied Computing, SAC '09, pp.615-622, 2009.

C. A. Furia, B. Meyer, and S. Velder, Loop invariants, ACM Computing Surveys, vol.46, issue.3, pp.1-3451, 2014.
DOI : 10.1145/2506375

R. Pawlak, C. Noguera, and N. Petitprez, 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