Metodologie di programmazione B

Giorgio Levi    Tel. 0502212700

Fondamenti di Programmazione, Laboratorio 1

Descrizione del modello di calcolo e delle tecniche di programmazione object-oriented con polimorfismo e subtyping.

• Elementi di traduzione e supporto dei linguaggi
• Meccanismi di astrazione, tipi di dato astratto, classi
• Programmazione object-oriented

• Language translation and run-time support
• Data abstractions, types, classes
• Object-oriented programming methodologies

• Interpretazione, compilazione, supporto a run-time
• Oggetti e astrazione procedurale in Java (richiami)
• Semantica operazionale di un nucleo orientato ad oggetti con metodi, classi ed ereditarietà
• Metodologie per lo sviluppo di programmi sequenziali in Java
  • Eccezioni
  • Astrazioni sui dati
  • Astrazioni di controllo (iterazione)
  • Gerarchie di tipi
  • Astrazioni polimorfe
• Testing e debugging

B.Liskov, J. Guttag. Program Development in Java. Abstraction, Specification and Object-Oriented Design, Addison-Wesley 2001 Materiale didattico in linea nella pagina del docente

Scritto e orale