Home > Corsi e Scuole > Corsi 1998 > Implementazione Ottimale

Implementazione ottimale dei linguaggi funzionali
(Simone Martini, Stefano Guerrini)

Sharing graphs are a new technique for efficient implementationof functional languages. The goal is avoiding any duplication of work during reduction, optimizing sharing.
The interest of this technique is both practical andtheoretical.
The study of optimal reduction has provided important insights andconnections between linear logic, control structures, context semantics and the geometry of interaction, intensional semantics, withhope of applying its ideas as well in the area of full ab straction.
Moreover, recent complexity results seem to open interestingresearch perspectives on the definition of a good "intrinsic" complexity measure for the reduction cost of functional expressions.

Il Corso:

corso precedente corso successivo