Typing a Core Binary-Field Arithmetic in a Light Logic

Il contenuto (Full text) non è disponibile all'interno di questo archivio. Spedisci una richiesta all'autore per una copia del documento
Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Typing a Core Binary-Field Arithmetic in a Light Logic
Autori: E. Cesena, M. Pedicini, L. Roversi
Autori di ateneo:
Intervallo pagine: pp. 19-35
Titolo del periodico: LECTURE NOTES IN COMPUTER SCIENCE
Tipo di referee: Comitato scientifico
Editore: Springer
ISBN: 9783642324956
ISSN: 0302-9743
Volume: 7177
Titolo del convegno: Second International Workshop, FOPARA 2011, Revised Selected Papers
Luogo dell'evento: Madrid, Spain
Data dell'evento: May 2011
Abstract: We design a library for binary-field arithmetic and we supply a core application programming interface (API) completely developed in a formal system we introduce: Typeable Functional Assembly (TFA) which essentially is the system Dual Light Affine Logic (DLAL) introduced by Baillot and Terui and extended with a fix-point formula. TFA is a light type assignment system, in the sense that substructural rules on types of linear logic allow just to type functional programs with polynomial evaluation cost. As a consequence, we show the core of a functional programming setting for binary-field arithmetic with built-in polynomial complexity
Data: 2012
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave:
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: NON SPECIFICATO
URL correlate:
    Area disciplinare:
    Data di deposito: 06 Feb 2013 09:17
    Data ultima modifica (IRIS): 09 Gen 2015 11:30:42
    Data inserimento (PORTO): 10 Gen 2015 01:06
    Numero Identificativo (DOI): 10.1007/978-3-642-32495-6_2
    Permalink: http://porto.polito.it/id/eprint/2506089
    Link resolver URL: Link resolver link
    Citazioni:

    Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

    Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

    • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
    • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
    • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

    Per informazioni o segnalazioni contattare scrivia/porto

    +
    -

    Azioni (richiesto il login)

    Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)