Denotational Paradigms for Programming Languages

Relatore:  Luca Paolini - Dipartimento di informatica, Università di Torino
  lunedì 5 febbraio 2007 alle ore 16.30 inizio ore 17:00. Te, caffe e biscotti dalle 16:30
Denotational semantics is usually proposed as a tool for studying the behavioral equivalence of programs. We propose the use of denotational models as abstract tools, assisting us in the comparison and analysis of programming languages endowed with different type-respecting-power. We instantiate this approach by discussing some programming languages inspired to different denotational paradigms. Then, in more detail, we consider the model induced by "linear coherence spaces". We introduce a programming language for it and we discuss the advantage of this language in some respects.

Ca' Vignal - Piramide, Piano 0, Sala Verde

Andrea Masini

Referente esterno
Data pubblicazione
26 gennaio 2007

Offerta formativa