- Dipartimento di informatica, Università di Torino
lunedì 5 febbraio 2007
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.