2. Índice
PROLE 2016 – Proceedings – Sessions and Papers
PROLE keynote:
- Arnaud Gotlieb “Constraint-Based Testing: An Emerging Trend in Software Testing”. pp 1.
Sesión 2: Transformación y Optimización
- Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño “Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code”. pp 2-16.
- Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro “Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems”. pp 17-32
- Francisco Bueno, Jesús Correas, Fernando Sáenz-Pérez, “Metapredicate Optimization for Datalog Queries through Program Analysis”. pp 33-48.
Sesión 5: Trabajos ya publicados (I)
- Salvador Lucas, Jose Meseguer “Proving termination properties of conditional rewrite systems”. pp 49.
- Marco Comini, Maria Del Mar Gallardo, Laura Titolo, Alicia Villanueva “Abstract Analysis of Universal Properties for tccp”. pp 50.
- Maria Del Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón “River basin management with Spin”. pp 51.
- Clara Benac Earle, Lars-Ake Fredlund, John Hughes “Automatic Grading of Programming Exercises using Property-Based Testing”. pp 52.
Sesión 7: Lenguajes y Semánticas
- Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers “A Logic of Graph Conditions Extended with Paths”. pp 53-67.
- Fernando Sáenz-Pérez “Formal Relational Languages in a Deductive Setting” . pp 68-83.
- Pascual Julián-Iranzo, Ginés Moreno, Jaime Penabad “Fuzzy Thresholded Fixpoint Semantics”. pp 84-98.
Sesión 10: Trabajos ya publicados (II)
- Naoki Nishida, Adrián Palacios, Germán Vidal “Reversible Term Rewriting”. pp 99.
- María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña “Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis”. pp 100.
- Álvaro García-Pérez, Pablo Nogueira “Que ningún término resoluble de lambda-valor se quede atrás”. pp 101-102.
- Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodriguez-Hortala “Polymorphic Types in Erlang Function Specifications”. pp 103.
Sesión 11: Tutoriales y web
- Ricardo Peña “An Introduction to Liquid Haskell”. pp 104-115.
- Paqui Lucio “A Tutorial on Using Dafny to Construct Verified Software”. pp 116-133.
- Julián Alarte, Josep Silva, David Insa “Page-Level Webpage Menu Detection”. pp 134-147.
Session 12: Lenguajes
- Ricardo Peña, Santiago Saavedra, Jaime Sánchez-Hernández “Processing an Intermediate Representation Written in Lisp”. pp 148-162.
- Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura “Synthesizing Invariants for Arrays (Work in Progress)”. pp 163-177.
- Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan “Comparing MapReduce and Pipeline implementations for counting triangles”. pp 178-187.
Session 13: Verificación y Análisis
- Jesus M. Almendros-Jimenez, Antonio Becerra-Teron “Testing of ATL programs from Randomly Generated ECore Test Models”. pp 188-199.
- David Insa, Sergio Pérez, Josep Silva “How to Construct a Suite of Program Slices”. pp 200-214.
- Raúl Gutiérrez, Salvador Lucas, Patricio Reinoso “A tool for the automatic generation of logical models of order-sorted first-order
theories”. pp 215-230.