Progetto FOLLIA is a continuation of MIUR-2002 PROTOCOLLO project(from PROofs TO COmputation through Linear LOgic) with a twofold goal: FOLLIA will continue the promising development of foundational and applicative research, within Theoretical Computer Science, that followed the introduction of Linear Logic. Starting from the theoretical results, FOLLIA will develop methodologies for the design, the analysis and the verification of paradigmatic programming languages oriented to applications in the context of mobile computations with resource guarantees. Real issues will solicit ideas, and, will be verification tools, relatively to the obtained results, though mobile computations in presence of resource limitations will be our favorite context of reference.
S. Martini, S. Ronchi della Rocca (2004). Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA).
Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA)
MARTINI, SIMONE;
2004
Abstract
Progetto FOLLIA is a continuation of MIUR-2002 PROTOCOLLO project(from PROofs TO COmputation through Linear LOgic) with a twofold goal: FOLLIA will continue the promising development of foundational and applicative research, within Theoretical Computer Science, that followed the introduction of Linear Logic. Starting from the theoretical results, FOLLIA will develop methodologies for the design, the analysis and the verification of paradigmatic programming languages oriented to applications in the context of mobile computations with resource guarantees. Real issues will solicit ideas, and, will be verification tools, relatively to the obtained results, though mobile computations in presence of resource limitations will be our favorite context of reference.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
