Tree Calculus: Nuevo modelo redefine el análisis de programas
Investigadores han desarrollado 'Tree Calculus', un nuevo modelo computacional que promete revolucionar el análisis de programas. Este sistema, presentado en treecalcul.us, se distingue por su simplicidad: utiliza árboles binarios no etiquetados como valores y reglas de reducción para la computación
