Una semántica formal para Apache Spark en lógica de reescritura
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 manipulation of large volumes of data. The Apache Spark executable semantics it is...
- Autores:
-
Sanabria Ardila, Mateo
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2018
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/788
- Acceso en línea:
- https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461
https://repositorio.escuelaing.edu.co/handle/001/788
- Palabra clave:
- Lógica de reescritura
Procesamiento de datos
Apache Spark
Código abierto
Open Source Rewrite logic
Data processing
Apache Spark
Open Source
- Rights
- openAccess
- License
- Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito
| Summary: | 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 manipulation of large volumes of data. The Apache Spark executable semantics it is made available through a formal specification in Maude, this specification being executable and with which it is possible to study the dynamic behavior of Apache Spark's job scheduler. |
|---|