Belloch Gómez, Luis(Universitat Politècnica de València, 2014-10-16)
[EN] In this document we are presenting Kai, a Scala library developed to simplify the creation of large data
processing applications on Hadoop clusters. The library is based in the definition of three basic
operators, ...
[EN] Termination of programs, i.e., the absence of infinite computations, ensures the existence of normal forms for all initial expressions, thus providing an essential ingredient for the definition of a normalization ...