Búsqueda avanzada


PROLE 2015 – Proceedings – Sessions and Papers

PROLE keynote

  • Roberto Giacobazzi “Obscuring code – Unveiling and Veiling Information in Programs” (Invited talk)

Session 1: Analysis and Transformation

  • Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño “A Haskell Implementation of a Rule-Based Program Transformation for C Programs” (Abstract)
  • Irina Mariuca Asavoae, Mihail Asavoae, Adrian Riesco “Towards a Formal Semantics-Based Technique for Interprocedural Slicing(Abstract)
  • Salvador Lucas, “Automatic Generation of Logical Models for Order-Sorted First-Order Theories in Program Analysis” (Original work)

Session 2: Testing

  • Ana Rosario Espada Sandi, Maria del Mar Gallardo, Alberto Salmerón, Pedro Merino “Using Model Checking to Generate Test Cases for Android Applications” (Abstract)
  • Julián Alarte Aleixandre, David Insa, Josep Silva, Salvador Tamarit “A Collection of Website Benchmarks Labelled for Template Detection and Content Extraction(Work in progress)
  • Jesús M. Almendros-Jiménez, Antonio Becerra-Terón “Property based Testing of XQuery Programs” (Work in progress)

Session 3: Semantics

  •  David Romero Hernández, David Frutos Escrig, Dario Della Monica “Proving Continuity of Coinductive Global Bisimulation Distances: A Never End Story” (Original work)
  • Edelmira Pasarella, Jorge Lobo “Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework”  (Abstract)
  • Maria Del Mar Gallardo, Laura Panizo, Laura Titolo “A discretized operational semantics for the implementation of hy-tccp” (Work in progress)
  • Pascual Julian-Iranzo, Gines Moreno, Jaime Penabad, Carlos Vázquez “A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees” (Work in progress)

Session 4: Debugging and Termination

  • Salvador Lucas “Productivity of rewrite systems without transformations” (Original work)
  • Caballero, E. Martin-Martin, A. Riesco, S. Tamarit “A Declarative Debugger for Concurrent Erlang Programs” (Work in progress)
  • Jesus M Almendros-Jimenez, Alejandro Luna Tedesqui, Gines Moreno “Thresholded Debugging of XPath Queries” (Abstract)

Session 5: Combining Languages and Techniques

  • Rafael Caballero, Carlo Leva  “Constraint Programming meets SQL” (Original work)
  • Javier Piris, Hermenegildo Fabregat, María José Ramírez “Analysing the Termination of Term Rewriting Systems using Data Mining” (Work in progress)

Session 6: Logic and Learning on Databases

  • Fernando Sáenz-Pérez “Restricted Predicates for Hypothetical Reasoning” (Original work)
  • Susana Nieva, Fernando Saenz-Perez, Jaime Sánchez-Hernández “HR-SQL: An SQL Database System with Extended Recursion and Hypothetical Reasoning” (Work in progress)
  • Montserrat Hermo, Ana Ozaki “Learning a Subclass of Multivalued Dependencies Formulas from Entailments” (Work in progress)

Session 7: Specification and Type Systems

  • Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá “A liberal type system for functional logic programs” (Abstract)
  • Marisa Navarro, Fernando Orejas, Elvira Pino “Satisfiability of Constraint Specifications on XML Documents” (Abstract)
  • María Alpuente, Daniel Pardo, Alicia Villanueva “Inferring Specifications in the K framework” (Work in progress)

Session 8: Verification

  • K. Rustan M. Leino, Paqui Lucio “An Assertional Proof of the Stability and Correctness of Natural Mergesort (Extended Abstract)” (Abstract)
  • Marco Comini, Laura Titolo, Alicia Villanueva “Abstract Diagnosis for tccp using a Linear Temporal Logic” (Abstract)
  • Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández “A Generic Intermediate Representation for Verification Condition Generation, Work in Progress” (Work in progress)