Publications of Maurizio Proietti

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Proietti M., in the category IASI Research Reports (or show them all):


IASI Research Report n. 14-03  (Previous    Next)  

Maurizio Proietti, Seki H.

Logic-Based Program Synthesis and Transformation, Preliminary Proceedings

ABSTRACT
This report contains the papers presented at LOPSTR 2014, the 24th International Symposium on Logic-Based Program Synthesis and Transformation held on September 9-11, 2014 at the University of Kent, Canterbury, United Kingdom. LOPSTR 2014 has been co-located with PPDP 2014, the 16th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Previous LOPSTR symposia were held in Madrid (2013 and 2002), Leuven (2012 and 1997), Odense (2011), Hagenberg (2010), Coimbra (2009), Valencia (2008), Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Paphos (2001), Manchester (1998, 1992 and 1991), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). Information about the symposium can be found at: http://www.iasi.cnr.it/events/lopstr14. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, transformation, speci cation, analysis and veri cation, specialization, testing and certi cation, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications and tools. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. In response to the call for papers, 34 contributions were submitted from 21 di fferent countries. Each submission was reviewed by at least two, and three on average, Program Committee members or external referees. The Program Committee decided to accept 20 papers for presentation at the symposium, basing this choice on their scienti c quality, originality, and relevance. In addition to the 20 contributed papers, this volume includes the abstracts of the invited talks by two outstanding speakers: Roberto Giacobazzi (University of Verona, Italy), shared with PPDP, and Viktor Kuncak (EPFL, Switzerland). We want to thank the Program Committee members, who worked diligently to produce high-quality reviews for the submitted papers, as well as all the external reviewers involved in the paper selection. We are very grateful to the LOPSTR 2014 Symposium Co-Chairs, Olaf Chitil and Andy King, and the local organizers for the great job they did in preparing the symposium. Many thanks also to Olivier Danvy, the Program Committee chair of PPDP, with whom we often interacted for coordinating the two events. Special thanks go to Emanuele De Angelis and Fabrizio Smith, who helped us in maintaining the LOPSTR website and editing these proceedings. We would also like to thank Andrei Voronkov for his excellent EasyChair system that automates many of the tasks involved in chairing a conference. Finally, we would like to thank all the authors who submitted papers to LOPSTR 2014, without whom the symposium would have not be possible.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -