Buscar
Itens para a visualização no momento 1-1 of 1
Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico
(Universidade Federal de Santa Maria, 2018-07-13)
Aiming to overcome the theoretical limits imposed by the energetic cost of the classic
computational model, new computing paradigms have been formalized. While reversible
computing aims to reconcile the reversibility of ...