Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?

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: Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?
Autori: Canavese D.; Cesena E.; Ouchary R.; Pedicini M.; Roversi L.
Autori di ateneo:
Intervallo pagine: pp. 38-57
Titolo del periodico: LECTURE NOTES IN COMPUTER SCIENCE
Tipo di referee: Comitato scientifico
Editore: Springer
ISSN: 0302-9743
Volume: 8552
Titolo del convegno: FOPARA 2013
Luogo dell'evento: Bertinoro
Data dell'evento: August 2013
Rilevanza dell'evento: Internazionale
Abstract: We show that an algorithm implementing the Binary-Field Arithmetic operation of multiplicative inversion exists as a purely functional term which is typeable in Dual Light Affine Logic (DLAL). As a consequence, the set ΛDLAL of functional terms typeable in DLAL is large enough to program the whole set of arithmetic operations. Second, and most important, we show that ΛDLAL can be seen a domain specific language that forces programmer to think about algorithms under a non standard mental pattern which may result in more essential descriptions of known algorithms which, also, may be more efficient
Data: 2014
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: lambda calculus, binary fields, cryptography
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
    Area disciplinare:
    Data di deposito: 18 Set 2013 12:01
    Data ultima modifica (IRIS): 14 Apr 2016 16:01:57
    Data inserimento (PORTO): 16 Apr 2016 03:40
    Numero Identificativo (DOI): 10.1007/978-3-319-12466-7_3
    Permalink: http://porto.polito.it/id/eprint/2514482
    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)