Programmazione reversibile

Verificato

Significato di «Programmazione reversibile»

Paradigma in cui i programmi eseguono in modo deterministico sia in avanti sia all'indietro: le operazioni devono essere iniettive, così da poter ricostruire lo stato precedente senza perdita di informazione; il linguaggio Janus ne è il capostipite.

Fonti: Reversibile: computazione invertibile con funzioni iniettive (Janus). Fonti: Yokoyama & Glück 'A Reversible Programming Language...' (2007); ScienceDirect 'Reversible computing from a programming language perspective'. Verifica web 2026-08-03. · Verificato il 2026-08-03

Preferenze cookie

Gestisci i cookie usati su Glossario Italiano. Puoi modificare le preferenze in qualsiasi momento dal link "Gestisci preferenze" in fondo a ogni pagina.

  • Necessari
    Login, sicurezza (CSRF), preferenze cookie. Sempre attivi.
    Sempre on
  • Statistici
    Misurano in forma aggregata come viene usato il sito. Nessun profilo personale.
  • Marketing
    Cookie di reti pubblicitarie esterne, se attivati in futuro. Oggi GLS non usa script di terze parti e i nostri sponsor sono editoriali, non profilano.