Ricardo Peña – författare

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013.The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Functional programminghas a long history,reaching back through early reali- tions in languages like LISP to foundational theories of computing, in particular ?-calculus and recursive function theory. In turn, functional programming has had wide in?uence in computing, both through developments within the dis- pline, such as formal semantics, polymorphic type checking, lazy evaluation and structural proof, and as a practical embodiment of formalized approaches, such as speci?cation, transformation and partial application. One of the engaging features of functional programming is precisely the crossover between theory and practice. In particular, it is regarded as ess- tial that all aspects of functional programming are appropriately formalized, especially the speci?cation and implementation of functional languages. Thus, specialist functional programming events like the International Workshop on the Implementation of Functional Languages (IFL) attract contributions where strong use is made of syntactic, semantic and meta-mathematical formalisms to motivate, justify and underpin very practical software systems.IFL grew out of smaller workshops aimed at practitioners wrestling with the nuts and bolts of making concrete implementations of highly abstract l- guages. Functional programming has always been bedeviled by an unwarranted reputation for slowand ine?cient implementations. IFL is one venue where such problemsaretackledheadon,alwaysusing formaltechniques to justify practical implementations.

The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. A non-exhaustive list of topics includes: language concepts, type che- ing, compilation techniques, (abstract) interpretation, automatic program g- eration, (abstract) machine architectures, array processing, concurrent/parallel programming and program execution, heap management, runtime pro?ling and performance measurements, debugging and tracing, veri?cation of functional programs, tools and programming techniques. The 14th edition, IFL 2002, was held in Madrid, Spain in September 2002. It attracted47researchersfromthefunctionalprogrammingcommunity,belonging to10di?erentcountries.Duringthethreedaysoftheworkshop,34contributions were presented, covering most of the topics mentioned above. The workshop was sponsored by several Spanish public institutions: the M- istry of Science and Technology, Universidad Complutense de Madrid, and the Tourism O?ce, Town Hall and Province Council of Segovia, a small Roman and medieval city near Madrid. We thank our sponsors for their generous contri- tions. This volume follows the lead of the last six IFL workshops in publishing a high-quality subset of the contributions presented at the workshop in Springer’s Lecture Notes in Computer Science series. All speakers attending the workshop were invited to submit a revised version for publication. A total of 25 papers were submitted. Each one was reviewed by four PC members and thoroughly discussed by the PC. The results of this process are the 15 papers included in this volume.

The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. A non-exhaustive list of topics includes: language concepts, type che- ing, compilation techniques, (abstract) interpretation, automatic program g- eration, (abstract) machine architectures, array processing, concurrent/parallel programming and program execution, heap management, runtime pro?ling and performance measurements, debugging and tracing, veri?cation of functional programs, tools and programming techniques. The 14th edition, IFL 2002, was held in Madrid, Spain in September 2002. It attracted47researchersfromthefunctionalprogrammingcommunity,belonging to10di?erentcountries.Duringthethreedaysoftheworkshop,34contributions were presented, covering most of the topics mentioned above. The workshop was sponsored by several Spanish public institutions: the M- istry of Science and Technology, Universidad Complutense de Madrid, and the Tourism O?ce, Town Hall and Province Council of Segovia, a small Roman and medieval city near Madrid. We thank our sponsors for their generous contri- tions. This volume follows the lead of the last six IFL workshops in publishing a high-quality subset of the contributions presented at the workshop in Springer’s Lecture Notes in Computer Science series. All speakers attending the workshop were invited to submit a revised version for publication. A total of 25 papers were submitted. Each one was reviewed by four PC members and thoroughly discussed by the PC. The results of this process are the 15 papers included in this volume.

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents.

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, paralelelism and distribution, data structures, and miscellaneous.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, paralelelism and distribution, data structures, and miscellaneous.

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.