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.
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.
Wei-Ngan Chin, Cristina David & Cristian Gherghina (2011):
A HIP and SLEEK verification system.
In: SPLASH,
pp. 9–10,
doi:10.1145/2048147.2048152.
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.
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.
Dino Distefano & Matthew J. Parkinson (2008):
jStar: towards practical verification for java.
In: OOPSLA,
pp. 213–226,
doi:10.1145/1449764.1449782.
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.
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.
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.
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.
Matthew J. Parkinson & Gavin M. Bierman (2008):
Separation logic, abstraction and inheritance.
In: POPL,
pp. 75–86,
doi:10.1145/1328438.1328451.