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
Commissione
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.<br>Of the many approaches proposed over the years to implement those systems one of the most promising is context-oriented programming (COP).<br>The idea in the COP approach is to provide programming languages with context-adaptation constructs, to facilitate programmer&#39;s work in writing software able to adapt.<br>An interesting challenge for COP languages is to introduce primitives for concurrency.<br><br>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.<br>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.<br>Some theorems will also show the relationships among those four semantics.<br>
File