Scheda programma d'esame
ADVANCED PROGRAMMING
ANDREA CORRADINI
Academic year2023/24
CourseCOMPUTER SCIENCE AND NETWORKING
Code301AA
Credits9
PeriodSemester 1
LanguageEnglish

ModulesAreaTypeHoursTeacher(s)
ADVANCED PROGRAMMINGINF/01LEZIONI72
ANDREA CORRADINI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Gli obiettivi del corso sono:

  1. di fornire agli studenti una conoscenza approfondita di come concetti e metafore ad alto livello dei linguaggi di programmazione si traducono in sistemi eseguibili e quali siano i loro costi e limiti
  2. di familiarizzare gli studenti con i moderni principi, tecniche e migliori pratiche per la costruzione di software sofisticato
  3. di introdurre tecniche di programmazione a livelli di astrazione più elevata, in particolare programmazione basata su componenti e programmazione funzionale
  4. di presentare frameworks allo stato dell’arte che incorporano queste tecniche.

Il corso in particolare si focalizza su questioni di qualità relative al progetto dettagliato ed alla codifica, quali l’affidabilità, le prestazioni, l’adattabilità e l’integrabilità in sistemi più ampi.

Knowledge

The objectives of this course are:

  1. to provide the students with a deep understanding of how high level programming concepts and metaphors map into executable systems and which are their costs and limitations
  2. to acquaint the students with modern principles, techniques, and best practices of sophisticated software construction
  3. to introduce the students to techniques of programming at higher abstraction levels, in particular component programming and functional programming
  4. to present state-of-the-art frameworks incorporating these techniques.

This course focuses on the quality issues pertaining to detailed design and coding, such as reliability, performance, adaptability and integrability into larger systems.

Modalità di verifica delle conoscenze

Esame orale finale.

Assessment criteria of knowledge

Final oral exam.

Capacità

Alla fine del corso gli studenti avranno una precisa comprensione e un’esperienza pratica diretta di:

  1. ambiente di esecuzione e supporto a runtime dei linguaggi di programmazione
  2. costrutti di programmazione avanzati, principalmente di linguaggi di programmazione funzionali e orientati agli oggetti
  3. frameworks per lo sviluppo di software basato su componenti, anche con supporto all’interoperabilità tra linguaggi di programmazione distinti.
Skills

At the end of the course students will have a precise understanding and hand-on practical experience of

  1. the execution environment and runtime support of programming languages
  2. advanced programming constructs and idioms, mainly of functional and object-oriented programming languages
  3. frameworks for the component based development of software, also supporting interoperability among different programming languages.

 

Modalità di verifica delle capacità

Valutazione di piccoli progetti di programmazione assegnati durante il corso e esame finale orale.

Assessment criteria of skills

Evaluation of programming assignments during the course and final oral exam.

Prerequisiti (conoscenze iniziali)

Conoscenza a livello undergraduate di almeno un linguaggio di programmazione orientato agli oggetti (come Java, C++, C# o altri) e di almeno un linguaggio di programmazione funzionale (come Haskell, OCaml, Scheme o altri).

Prerequisites

Undergraduate level knowledge of at least one object-oriented programming language (like Java, C++, C# or others) and of at least one functional programming language (like Haskell, OCaml, Scheme or others).

 

Indicazioni metodologiche
  • Il corso è insegnato in Inglese.
  • Un questionario verrà proposto all’inizio del corso per confermare il possesso dei prerequisiti. Agli studenti che non abbiano i prerequisiti verranno date indicazioni per colmare le lacune individuate.
  • Le lezioni frontali si svolgono con uso di slide.
  • Le esercitazioni si svolgono in aula: gli studenti svolgono degli esercizi, anche in gruppo, sotto la supervisione del docente e dell’assistente
  • L'interazione con il docente avviene con colloqui (in orario di ricevimento o su appuntamento) e tramite posta elettronica.
  • Sulla pagina web del corso vengono pubblicati progressivamente i lucidi presentati in ogni lezione, con riferimenti ai corrispondenti argomenti in documenti disponibili online. Vengono anche pubblicati i testi degli esercizi proposti per le esercitazioni.

 

Teaching methods
  • The course is taught in English.
  • An entry questionnaire will be proposed at the beginning of the course to check the background knowledge. Students missing some prerequisites will be instructed on how to fill the identified gaps
  • Frontal lessons are performed using slides
  • Exercises take place in the classroom: students practice exercises, even in groups, under the supervision of the lecturer and of the tutor
  • Interaction with the teacher is done through interviews (on fixed office hours or by appointment) and by e-mail.
  • On the web page of the course, the slides presented in each lesson are published progressively, with references to corresponding reading material available online.

 

Programma (contenuti dell'insegnamento)
  1. Pragmatica dei Linguaggi di Programmazione
  2. Supporto Run Time e Ambienti di Esecuzione: la Java Virtual Machine
  3. Programmazione basata su componenti e Frameworks
  4. Polimorfismo: classificazione ed esempi in vari linguaggi
  5. Linguaggi funzionali, Haskell, e concetti avanzati
  6. Stream API e espressioni lambda in Java
  7. Ownership e Borrowing in Rust
  8. Linguaggi di Scripting e Python
Syllabus
  1. Programming Language Pragmatics
  2. Run Time Support and Execution Environments: the Java Virtual Machine
  3. Components based programming and Frameworks
  4. Polymorphism: a classification and examples in several languages
  5. Linguaggi funzionali, Haskell, e concetti avanzati
  6. Stream API and lambda-expressions in Java
  7. Ownership and Borrowing in Rust
  8. Scripting Languages and Python
Bibliografia e materiale didattico

Reading material that will be indicated during the course, and linked from the web page.

 

Bibliography

Reading material that will be indicated during the course, and linked from the web page.

 

Indicazioni per non frequentanti

Gli studenti non frequentanti possono trovare sulla pagina web del corso l'elenco degli argomenti presentati per ogni singola lezione, con le slide proiettate e i riferimenti al materiale didattico rilevante. Le modalità d'esame per gli studenti non frequentanti sono identiche a quelle per gli studenti frequentanti.

Non-attending students info

Non-attending students can find on the course web page the list of topics presented for each lesson, with the slides and references to the relevant reading material. Examination methods for non-attending students are identical to those for attending students.

Modalità d'esame

Valutazione di piccoli progetti di programmazione assegnati durante il corso e esame finale orale.

Assessment methods

Evaluation of programming assignments during the course and final oral exam.

Altri riferimenti web

Pagina web AA 2023/24:

https://pages.di.unipi.it/corradini/Didattica/AP-23/

Additional web pages

Web page for Academic Year 2023/24:

https://pages.di.unipi.it/corradini/Didattica/AP-23/

 

Updated: 06/09/2023 23:41