Sesión 12: Lenguajes
Listado de artículos correspondientes a la sesión Lenguajes
- Processing an Intermediate Representation Written in Lisp
Ricardo Peña / Santiago Saavedra / Jaime Sánchez-Hernández / - Synthesizing Invariants for Arrays (Work in Progress)
Manuel Montenegro / Susana Nieva / Ricardo Peña / Clara Segura / - Comparing MapReduce and Pipeline implementations for Counting Triangles
Edelmira Pasarella / Maria-Esther Vidal / Cristina Zoltan /