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