Denotational Paradigms for Programming Languages

Relatore
Luca Paolini - Dipartimento di informatica, Università di Torino

Data e ora
lunedì 5 febbraio 2007 alle ore 16.30 - inizio ore 17:00. Te, caffe e biscotti dalle 16:30

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Andrea Masini

Referente esterno

Data pubblicazione
26 gennaio 2007

Dipartimento
 

Riassunto

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.
ornamento
Inizio pagina