Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers.
type: Item
instance of: scholarly article
title: Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers.
zbMATH Open document ID: 1051.68003
published in: Lecture Notes in Computer Science
publication date: 2004-12-17T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1045.68013). Indexed articles: \textit{Lehmann, Helko; Leuschel, Michael}, Inductive theorem proving by program specialisation: Generating proofs for Isabelle using Ecce, 1-19 [Zbl 1099.68730] \textit{Alexandre, Francis; Bsaïes, Khaled; Demba, Moussa}, Predicate synthesis from inductive proof attempt of faulty conjectures, 20-33 [Zbl 1099.68094] \textit{Lau, Kung-Kiu; Ornaghi, Mario}, Correct OO systems in computational logic, 34-53 [Zbl 1099.68587] \textit{Fischer, Bernd; Visser, Eelco}, Adding concrete syntax to a Prolog-based program synthesis system (extended abstract), 56-58 [Zbl 1099.68592] \textit{Berghammer, Rudolf; Müller-Olm, Markus}, Formal development and verification of approximation algorithms using auxiliary variables, 59-74 [Zbl 1099.68585] \textit{Ruiz-Reina, José Luis; Alonso-Jiménez, José Antonio; Hidalgo, María José; Martín-Mateos, Francisco Jesús}, Formal reasoning about efficient data structures: A case study in ACL2, 75-91 [Zbl 1099.68660] \textit{Gallagher, John P.}, A program transformation for backwards analysis of logic programs, 92-105 [Zbl 1099.68547] \textit{Murakami, Takuma; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato}, An efficient staging algorithm for binding-time analysis, 106-107 [Zbl 1099.68595] \textit{Serebrenik, Alexander; De Schreye, Danny}, Proving termination with adornments, 108-109 [Zbl 1099.68589] \textit{Weber, Tjark; Caldwell, James}, Constructively characterizing fold and unfold, 110-127 [Zbl 1099.68023] \textit{Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato}, Deterministic higher-order patterns for program transformation, 128-142 [Zbl 1099.68591] \textit{Biernacki, Dariusz; Danvy, Olivier}, From interpreter to logic engine by defunctionalization, 143-159 [Zbl 1099.68546] \textit{Alves, Sandra; Florido, Mário}, Linearization by program transformation, 160-175 [Zbl 1099.68020] \textit{Wang, Qian; Gupta…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 2123486
MaRDI profile type: Publication
full work available at URL: b98080
OpenAlex ID: W4301837838
DOI: 10.1007/B98080
Recommended article: Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers
Recommended article: Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26--28, 2004. Revised selected papers.
Recommended article: Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23--24, 2007. Revised selected papers
Recommended article: Logic based program synthesis and transformation. 15th international symposium, LOPSTR 2005, London, UK, September 7--9, 2005. Revised selected papers.
Recommended article: Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18--20, 2011. Revised selected papers
Recommended article: Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17--20, 2002. Revised selected papers.
Recommended article: Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17--18, 2008. Revised selected papers
Recommended article: Logic-based program synthesis and transformation. 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18--20, 2012. Revised selected papers
Recommended article: Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers
Recommended article: Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13--15, 2015. Revised selected papers
description: scientific article; zbMATH DE number 2123486