ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-09172017-181431


Tipo di tesi
Tesi di laurea magistrale
Autore
BUSI, MATTEO
URN
etd-09172017-181431
Titolo
Four semantics for a disciplined concurrency in COP.
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Degano, Pierpaolo
relatore Dott. Galletta, Letterio
controrelatore Prof.ssa Occhiuto, Maria Eugenia
Parole chiave
  • static analysis
  • formal methods
  • type and effect systems
  • functional programming
  • semantics
  • runtime analysis
  • concurrency
  • autonomic computing
  • context-oriented programming
  • programming languages
  • ml
  • mlcoda
Data inizio appello
06/10/2017
Consultabilità
Completa
Riassunto
Autonomic systems need to be able to seamlessly adapt to changes in the environment they are immersed in, with minimal (or any) human intervention.
Of the many approaches proposed over the years to implement those systems one of the most promising is context-oriented programming (COP).
The idea in the COP approach is to provide programming languages with context-adaptation constructs, to facilitate programmer's work in writing software able to adapt.
An interesting challenge for COP languages is to introduce primitives for concurrency.

In this thesis, we will enrich ML_CoDa, a context-oriented programming language constituted by a declarative component for programming the context and a functional one for computing, with concurrency.
To do that, we will introduce four alternative concurrent semantics and their correspondent runtime verification mechanisms, differing each other in their ability to forecast possible harmful behaviour of applications.
Some theorems will also show the relationships among those four semantics.
File