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.

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.
S. Martini; S. Ronchi della Rocca
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/50045
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact