• Una semántica formal para Apache Spark en lógica de reescritura 

      Sanabria Ardila, Mateo (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2018)
      This document presents an executable semantics for Apache Spark in rewrite logic. Apache Spark is a work environment open source designed for data processing that provides an application programming interface for the ...