A Calculus for Boxes and Traits in a Java-Like Setting.

Lorenzo Bettini Ferruccio Damiani Marco De Luca Kathrin Geilmann Jan Schäfer

Published in: COORDINATION (2010)

Keyphrases

open source
java programs
programming language
artificial intelligence
source code
inference rules
development environment
data sets
software engineering
web applications
database applications
formal specification
object oriented programming