| 2014 | Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers Gopal Gupta, Ricardo Peña |
| 2013 | A Finite Representation of the Narrowing Space. Naoki Nishida, Germán Vidal |
| 2013 | A Logical Encoding of Timed $$\pi $$ -Calculus. Neda Saeedloei |
| 2013 | A New Hybrid Debugging Architecture for Eclipse. Juan González, David Insa, Josep Silva |
| 2013 | A Transformational Approach to Resource Analysis with Typed-Norms. Elvira Albert, Samir Genaim, Raúl Gutiérrez |
| 2013 | Compiling a Functional Logic Language: The Fair Scheme. Sergio Antoy, Andy Jost |
| 2013 | Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |
| 2013 | Extending Co-logic Programs for Branching-Time Model Checking. Hirohisa Seki |
| 2013 | Formalization and Execution of Linear Algebra: From Theorems to Algorithms. Jesús Aransay, Jose Divasón |
| 2013 | From Outermost Reduction Semantics to Abstract Machine. Olivier Danvy, Jacob Johannsen |
| 2013 | Generating Specialized Interpreters for Modular Structural Operational Semantics. Casper Bach Poulsen, Peter D. Mosses |
| 2013 | Information Flow in Object-Oriented Software. Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich |
| 2013 | Towards Erlang Verification by Term Rewriting. Germán Vidal |
| 2013 | Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics. Ghada Fakhry, Nada Sharaf, Slim Abdennadher |