Obiettivi

L’evoluzione dei sistemi software verso il Web Computing coinvolge una varietà di tecniche e strumenti articolati e complessi, dalla programmazione a oggetti, alla programmazione a componenti, alla programmazione di Web Services. Per poter sfruttare a pieno le potenzialità di queste tecniche, occorre avere una comprensione approfondita della loro struttura e del loro funzionamento.

Il corso presenta i modelli di esecuzione, le tecniche e gli strumenti di programmazione avanzati. Si pone particolare attenzione al supporto necessario per il funzionamento di questi strumenti, in modo che lo studente abbia una visione chiara delle conseguenze che le scelte di design possono comportare a tutti i livelli del sistema.

Il corso è tra i fondamentali della Laurea Specialistica in Tecnologie Informatiche.

Orario

Giorno	Ora	Aula
Martedì	16-18	C
Giovedì	16-18	C
Venerdì	11-13	C
Venerdì	16-18	C

Syllabus

Rassegna concetti di base di LP

1. Syntax (Regular Expressions, Context-free Grammars)
2. Scope
3. Parameter Passing
4. Stack, Heap
5. Runtime
6. Type Systems (System F, Kind)

RunTime

1. MM
2. Execution Engine
3. Verification
4. Interoperability
5. Link/Load
6. Thread
7. PAL
8. Inheritance, Polymorphism, Virtual Functions, Overloading
9. JIT
10. Delegates, Closures

Generic Programming

1. C++ templates
2. Java Pizza
3. Generics C#

Class Libraries and Frameworks

1. .NET Framework Class Library
2. Java Class Library

Generative Programming

1. MetaProgramming
2. Reflection
3. Template C++
4. Aspect Oriented Programming, Subject Oriented Programming
5. Intentional Programming
6. Generators

Interoperability

1. socket
2. linguaggio: CORBA/IDL
3. oggetti: COM+

Componenti

1. COM
2. JavaBeans
3. .NET (Assembly, Reflection, Interfaces, Attributes)

Web Services

• XML, XML-Schema
• SOAP, RPC, Rest
• WSDL
• UDDI

Scripting

1. Perl, Python, Jscript, PHP, Guile, Rebol

Lezioni

Testi di Riferimento

         Programming Language Pragmatics, Michael L. Scott, Morgan-Kaufmann, 2000.

         Shared Source CLI Essentials, David Stutz, Geoff Shilling, Ted Neward, O’Reilly, 2003.

        Generative Programming: Methods, Tools, and Applications, Krzysztof Czarnecki, Ulrich Eisenecker, Addison-Wesley, 2000.

     Applied Microsoft .NET Framework Programming , Jeffrey Richter, Microsoft Press, 2002.

Materiale di Riferimento

Rotor               Sorgenti di Rotor

Java2C#          Introduzione a C# per programmatori Java

J2EE                 J2EE Tutorial

Modalità di insegnamento

Lunedì e Martedì:

presentazione di argomenti

Giovedì:

We will issue a set of questions to guide your exploration. At the following meeting, a group of people will present their findings for the class and a general discussion will follow.

Venerdì:

seminari o discussione

Modalità di esame

• Mid Term Paper: novembre
• Term Paper: fine

Formulazione del voto:

Homework, seminari, discussioni:     20%

                                MidTerm Paper:     30%

                                       Term Paper:     50%

Lista di Homework

• Il GC di Rotor: pinning
• Invoke in methodinfo
• ACDK
• Estrarre link da Javascript in HTML
• Template metaprogramming
• Generics
• TreeView
• ListView specialization
• Collections, STL in Generics C#
• Influenza del GC nel design dei linguaggi (Perl, Python RC, PHP no assignement)
• Memory mapping
• Asynchronous IO (IO completion port, select)
• Cache
• Comparing string manipulation
• Windows CE Platform Builder: scheduling
• Instant Messages
• Web Crawler

Esercizi

• Perché in C non si possono dichiarare array di dimensione variabile?
• Sviluppare un interprete per un semplice linguaggio a partire dal seguente schema di interprete.
• Implementare in due linguaggi a scelta (es. Java, C++) un programma che calcola la frequenza delle parole in un file.
  Il programma deve convertire le parole in minuscolo e produrre un elenco di coppie ordinato per frequenza decrescente. Il programma dovrebbe girare in spazio dipendente solo dal numero di parole distinte nel file.
  Confrontare le prestazioni delle due versioni eseguendo il programma su un file ottenuto concatenando 20 copie del seguente brano del Principe di Machiavelli.
  Confrontare i risultati con i tempi ottenuti usando comandi Unix quali tr, grep, sort.
  Misurare sia i tempi di escuzione che la quantità di memoria usata dal programma (es. RSS indicata da ps in Unix).
• Implementare in due linguaggi a scelta (es. Java, C++) un programma che svolge le seguenti operazioni:
  
  • first create a list (L1) of integers from 1 through SIZE (SIZE is currently defined as 10000).
  • copy L1 to L2 (can use any builtin list copy function, if available)
  • remove each individual item from left side (head) of L2 and append to right side (tail) of L3 (preserving order). (L2 should be emptied by one item at a time as that item is appended to L3).
  • remove each individual item from right side (tail) of L3 and append to right side (tail) of L2 (reversing list). (L3 should be emptied by one item at a time as that item is appended to L2).
  • reverse L1 (preferably in place) (can use any builtin function for this, if available).
  • check that first item of L1 is now == SIZE.
  • and compare L1 and L2 for equality and return length of L1 (which should be equal to SIZE).