Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Brusaferro, Giulia (2016) Un calcolo formale per gli attori Scala Akka e i loro tipi. [Laurea specialistica biennale]

Full text disponibile come:

[img]
Preview
PDF
1355Kb

Abstract

Scopo di questa tesi è presentare un calcolo formale che modelli il comporta-mento degli attori Scala Akka. In particolare in questo lavoro viene presentatoun linguaggio A che modella la creazione degli attori, lo scambio di messaggi eil cambio di comportamento. All’interno dell’elaborato viene data evidenza dicome l’esecuzione dei programmi scritti in A e in Akka coincida. Viene poi dataun’estensione del linguaggio A in modo da inserire la gerarchia degli attori e laterminazione. Anche le esecuzioni dei programmi scritti nel nuovo linguaggioesteso A+ mostrano essere le stesse dei corrispondenti programmi scritti in Ak-ka. Infine viene presentato un sistema di tipi per il linguaggio A che si ispiraal modulo sperimentale Akka Typed e viene dimostrato che se un programmascritto nel nostro linguaggio formale è ben tipato, allora si può garantire che, atempo di esecuzione, ogni attore sarà in grado di gestire tutti i messaggi che glivengono inviati.

Item Type:Laurea specialistica biennale
Corsi di Laurea specialistica biennale:Facoltà di Scienze MM. FF. NN. > Matematica
Uncontrolled Keywords:scala Akka, calcolo formale, tir
Subjects:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Codice ID:52659
Relatore:Crafa, Silvia
Data della tesi:2016
Biblioteca:Polo di Scienze > Biblioteca di Matematica
Tipo di fruizione per il documento:on-line per i full-text
Tesi sperimentale (Si) o compilativa (No)?:No

Bibliografia

I riferimenti della bibliografia possono essere cercati con Cerca la citazione di AIRE, copiando il titolo dell'articolo (o del libro) e la rivista (se presente) nei campi appositi di "Cerca la Citazione di AIRE".
Le url contenute in alcuni riferimenti sono raggiungibili cliccando sul link alla fine della citazione (Vai!) e tramite Google (Ricerca con Google). Il risultato dipende dalla formattazione della citazione e non da noi.

[1] http://www.typesafe.com/activator/template/akka-sample-fsm-scala#code/src/main/scala/sample/become /DiningHakkersOnBecome.scala. Vai! Cerca con Google

[2] Pypl popularity of programming language. Cerca con Google

http://pypl.github.io/PYPL.html. Vai! Cerca con Google

[3] Scala akka documentation. http://doc.akka.io/docs/akka/2.4.1. Vai! Cerca con Google

[4] Scala overview. http://www.scala-lang.org/what-is-scala.html. Vai! Cerca con Google

[5] http://www.reactivemanifesto.org/. 2014. Vai! Cerca con Google

[6] Philip Wadler Atsushi Igarashi, Benjamin C. Pierce. Featherweight java: Cerca con Google

A minimal core calculus for java and gj. 2002. Cerca con Google

[7] Leszek Gruchala. Overview of akka typed. scalac Ocial Team Blog, 2015. Cerca con Google

[8] Carl Hewitt. Actor model of computation: Scalable robust information systems. 2010. Cerca con Google

[9] Aleksandar Prokopec. Learning Concurrent Programming in Scala. PACKT, 2014. Cerca con Google

[10] Gul Agha Rajesh K. Karmani. Actors. Encyclopedia of Parallel Computing, 2011. Cerca con Google

[11] Derek Wyatt. Akka Concurrency. 2013. Cerca con Google

Solo per lo Staff dell Archivio: Modifica questo record