Laboratoire de l'informatique du parallélisme; Lang, Frédéric; Dougherty, Daniel; Lescanne, Pierre; Rose, Kristoffer
(1999-06)
(eng) We propose Addressed Term Rewriting Systems (ATRS) as a solution to the still-standing problem of finding a simple yet formally useful framework that can account for computation with sharing, cycles, and side effects. ...