Ο αναστρέψιμος υπολογισμός είναι μια μη συμβατική μορφή υπολογισμού που επεκτείνει τον τυπικό τρόπο υπολογισμού με τη δυνατότητα αντίστροφης εκτέλεσηs λειτουργιών. Η αναστρεψιμότητα προσέλκυσε πρόσφατα αυξανόμενη προσοχή ...