Published: 19th December 2015|
|Preface Marisa Navarro|
|Automatic Inference of Specifications in the K Framework María Alpuente, Daniel Pardo and Alicia Villanueva||1|
|Termination of canonical context-sensitive rewriting and productivity of rewrite systems Salvador Lucas||18|
|Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving Salvador Lucas||32|
|Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story David Romero-Hernández, David de Frutos-Escrig and Dario Della Monica||48|
|Restricted Predicates for Hypothetical Datalog Fernando Sáenz-Pérez||64|
Programming languages provide a conceptual framework necessary for the development, analysis, optimization and understanding of programs and programming tasks. The aim of the PROLE series of conferences (PROLE stems from the Spanish PROgramación y LEnguajes) is to serve as a meeting point for Spanish research groups who develop their work in the area of programming and programming languages. The organization of this series of events aims at fostering the exchange of ideas, experiences and results among these groups. Promoting further collaboration among them is also one of its main goals.
PROLE welcomes both theoretical and practical works concerning the specification, design, implementation, analysis, and verification of programs and programming languages. In this fifteenth edition, 24 papers (previously reviewed) were presented at the workshop, distributed into the following eight thematic sessions: Analysis and Transformation; Testing; Semantics; Debugging and Termination; Combining Languages and Techniques; Logic and Learning on Databases; Specification and Type Systems; Verification.
After the conference, among the fifteen papers that were original contributions, the program committee selected five of them to be published in EPTCS. Each contribution was again reviewed by at least three program committee members. This volume contains the revised versions of these selected papers.
I would like to thank all the members of the program committee and the additional reviewers for their careful work in the review and selection process. Many thanks to all authors who submitted papers to PROLE 2015, to all conference participants, and to our invited speaker Roberto Giacobazzi (University of Verona) for his interesting talk about Obscuring code - Unveiling and Veiling Information in Programs. We express also our gratitude to Michael González Harbour and the members of the local organization of the joint conference SISTEDES 2015 in Santander.