A Formal Framework for Java Separate Compilation.

Davide Ancona Giovanni Lagorio Elena Zucca

Published in: ECOOP (2002)

Keyphrases

lightweight
main contribution
formal model
databases
knowledge representation
theoretical framework
real time
web services
open source
web applications
conceptual framework