Luca Cardelli
Java Java programming Unified Modeling Language (UML) algorithm algorithms component systems modeling object security object technology object-oriented programming optimization programming software architecture software patterns types