ETD system

Electronic theses and dissertations repository

 

Tesi etd-09172017-181431


Thesis type
Tesi di laurea magistrale
Author
BUSI, MATTEO
URN
etd-09172017-181431
Title
Four semantics for a disciplined concurrency in COP.
Struttura
INFORMATICA
Corso di studi
INFORMATICA
Supervisors
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 analitico
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