Login / Signup
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