This volume contains a selection of the papers presented at LOPSTR 2019, the 29th International Symposium on Logic-Based Program Synthesis and Transformation, held during September 7–10, 2019, in Porto, Portugal. It was co-located with the 21th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2019), with the Symposium on Formal Methods (FM 2019), and with other events in the context of the FM Week. Previous LOPSTR symposia were held in Frankfurt am Main (2018) Namur (2017), Edinburgh (2016), Siena (2015), Canterbury (2014), 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). More information about the symposium can be found at: http://www.cs.unibo.it/projects/lopstr19/. 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 on 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, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in software engineering, inversion, applications, and tools. This year, LOPSTR extended its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques, and on differential semantics.
Maurizio Gabbrielli (2020). Logic-Based Program Synthesis and Transformation - 29th International Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers. Berlin : Springer [10.1007/978-3-030-45260-5].
Logic-Based Program Synthesis and Transformation - 29th International Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers
Maurizio Gabbrielli
2020
Abstract
This volume contains a selection of the papers presented at LOPSTR 2019, the 29th International Symposium on Logic-Based Program Synthesis and Transformation, held during September 7–10, 2019, in Porto, Portugal. It was co-located with the 21th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2019), with the Symposium on Formal Methods (FM 2019), and with other events in the context of the FM Week. Previous LOPSTR symposia were held in Frankfurt am Main (2018) Namur (2017), Edinburgh (2016), Siena (2015), Canterbury (2014), 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). More information about the symposium can be found at: http://www.cs.unibo.it/projects/lopstr19/. 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 on 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, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in software engineering, inversion, applications, and tools. This year, LOPSTR extended its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques, and on differential semantics.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
