References

  1. Michael Backes, Cătălin Hriţcu & Thorsten Tarrach (2011): Automatically verifying typing constraints for a data processing language. In: Certified Programs and Proofs. Springer, pp. 296–313, doi:10.1007/978-3-642-25379-9_22.
  2. Gavin M. Bierman, Andrew D. Gordon, Cătălin Hriţcu & David Langworthy (2010): Semantic Subtyping with an SMT Solver. ICFP '10, pp. 105–116, doi:10.1145/1863543.1863560.
  3. Wei-Ngan Chin, Cristina David & Cristian Gherghina (2011): A HIP and SLEEK verification system. In: SPLASH, pp. 9–10, doi:10.1145/2048147.2048152.
  4. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen & Shengchao Qin (2008): Enhancing modular OO verification with separation logic. In: POPL, pp. 87–99, doi:10.1145/1328438.1328452.
  5. Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen & Ina Schaefer (2011): Verifying traits: a proof system for fine-grained reuse. In: FTfJP, pp. 8:1–8:6, doi:10.1145/2076674.2076682.
  6. Dino Distefano & Matthew J. Parkinson (2008): jStar: towards practical verification for java. In: OOPSLA, pp. 213–226, doi:10.1145/1449764.1449782.
  7. Johan Dovland, Einar Broch Johnsen, Olaf Owe & Martin Steffen (2011): Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program., doi:10.1016/j.scico.2010.09.006.
  8. Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts & Andrew P. Black (2006): Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst. 28(2), pp. 331–388, doi:10.1145/1119479.1119483.
  9. Ali Sinan Köksal, Viktor Kuncak & Philippe Suter (2011): Scala to the power of Z3: integrating SMT and programming. In: CADE, pp. 400–406, doi:10.1007/978-3-642-22438-6_30.
  10. Martin Odersky, Philippe Altherr, Vincent Cremet, Iulian Dragos, Gilles Dubochet, Burak Emir, Sean McDirmid, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Lex Spoon & Matthias Zenger (2006): An Overview of the Scala Programming Language. Technical Report. EPFL.
  11. Matthew J. Parkinson & Gavin M. Bierman (2008): Separation logic, abstraction and inheritance. In: POPL, pp. 75–86, doi:10.1145/1328438.1328451.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org