Denotational Paradigms for Programming Languages

Luca Paolini - Dipartimento di informatica, Università di Torino
Date and time
Monday, February 5, 2007 at 4:30 PM - inizio ore 17:00. Te, caffe e biscotti dalle 16:30
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Andrea Masini
External reference
Publication date
January 26, 2007


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.

© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234