ML with Concurrency

1 Introduzione. - 2 L'essenza del ML concorrente. - 2. 1 Introduzione. - 2. 2 Le idee fondamentali. - 2. 3 Panoramica sulla LMC. - 2. 4 La semantica della Mini-CML. - 2. 5 eventi e la loro algebra. - 2. 6 Espressività. - 2. 7 Implementazione delle astrazioni di concorrenza in CML. - 2. 8 Conclusioni e lavori correlati. - 3 Concorrenza in Poly/ML. - 3. 1 Introduzione. - 3. 2 Le primitive di concorrenza Poly/ML. - 3. 3 L'implementazione dell'uniprocessore. - 3. 4 Un'implementazione multiprocessore a memoria condivisa. - 3. 5 Lo sviluppo di un'implementazione distribuita. - 3. 5. 1 Primitive aggiuntive. - 3. 6 Implementazione su LEMMA. - 4 Programmazione CCS in un framework ML: un resoconto di LCS. - 4. 1 Introduzione. - 4. 2 Caratteristiche di LCS. - 4. 3 Digitazione delle espressioni comportamentali. - 4. 4 Semantica operativa. - 4. 5 Il modello di attuazione. - 4. 6 Conclusione. - 5 FACILEDii gioco allo strumento. - 5. 1 Introduzione. - 5. 2 Progettazione e sviluppo di FACILE. - 5. 3 Caratteristiche del linguaggio. - 5. 4 Attuazione. - 5. 5 Applicazioni. - 5. 6 Conclusione. - 6 Una teoria semantica per le primitive di concorrenza di ordine superiore ML. - 6. 1 Motivazione e background. - 6. 2 Lavori correlati. - 6. 3 Presentazione informale. - 6. 4 Semantica statica. - 6. 5 Semantica dinamica. - 6. 6 Conclusione. - Appendice 6. A Funzioni semantiche. - Appendice 6. B Regole semantiche. - 7 Analisi della comunicazione per ML simultaneo. - 7. 1 Introduzione. - 7. 2 Estrazione della topologia di comunicazione. - 7. 3 Semantica. - 7. 4 Proprietà di riduzione del soggetto. - 7. 5 Problemi di decidibilità. - 7. 6 Conclusione. - Appendice 7. A Proprietà sintattiche del sistema di tipizzazione. - Appendice 7. B Proprietà semantiche dell'ordinamento. - Appendice 7. C Proprietà semantiche del sistema di tipizzazione. - Appendice 7. D Problemi di decidibilità relativi agli ordinamenti. -Referenze. Lingua: Inglese