Denotational Paradigms for Programming Languages

Speaker:  Luca Paolini - Dipartimento di informatica, Università di Torino
  Monday, February 5, 2007 at 4:30 PM 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, Floor 0, Hall Verde

Programme Director
Andrea Masini

External reference
Publication date
January 26, 2007