Combining traits with boxes and ownership types in a Java-like setting

DOI10.1016/j.scico.2011.10.006zbMath1264.68046OpenAlexW2004875478MaRDI QIDQ1951635

Ferruccio Damiani, Lorenzo Bettini, Kathrin Geilmann, Jan Schäfer

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.10.006

zbMATH Keywords

traitsboxesfeatherweight Javaownership types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Verifying traits: an incremental proof system for fine-grained reuse

Uses Software

• Scala
• Fortress