Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers
type: Item
instance of: scholarly article
title: Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers
zbMATH Open document ID: 0967.00076
DOI: 10.1007/3-540-45142-0
published in: Lecture Notes in Computer Science
publication date: 2001-08-22T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding workshop (9th, 1999) has been reviewed (see Zbl 0941.00033). Indexed articles: \textit{Avellone, Alessandro; Ferrari, Mauro; Fiorentini, Camillo}, A formal framework for synthesis and verification of logic programs, 1-17 [Zbl 1017.68031] \textit{Poernomo, Iman; Crossley, John N.}, Protocols between programs and proofs, 18-37 [Zbl 1017.68036] \textit{Colvin, Robert; Hayes, Ian; Strooper, Paul}, A technique for modular logic program refinement, 38-56 [Zbl 1017.68032] \textit{Seres, Silvija; Spivey, Michael}, Higher-order transformation of logic programs, 57-68 [Zbl 1018.68504] \textit{Serebrenik, Alexander; De Schreye, Danny}, Non-transformational termination analysis of logic programs, based on general term-orderings, 69-85 [Zbl 1017.68033] \textit{Bueno, Francisco; García de la Banda, María; Hermenegildo, Manuel; Marriott, Kim; Puebla, Germán; Stuckey, Peter J.}, A model for inter-module analysis and optimizing compilation, 86-102 [Zbl 1018.68501] \textit{Albert, Elvira; Antoy, Sergio; Vidal, Germán}, Measuring the effectiveness of partial evaluation in functional logic languages, 103-124 [Zbl 1018.68500] \textit{Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio}, Automated strategies for specializing constraint logic programs, 125-146 [Zbl 1018.68502] \textit{Di Pierro, Alessandra; Wiklicky, Herbert}, Measuring the precision of abstract interpretations, 147-164 [Zbl 1018.68505] \textit{Jahier, Erwan; Ducassé, Mireille; Ridoux, Olivier}, Specifying Prolog trace models with a continuation semantics, 165-181 [Zbl 1018.68503]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1636370
zbMATH Keywords: London (GB)
zbMATH Keywords: Workshop
zbMATH Keywords: Papers
zbMATH Keywords: LOPSTR 2000
zbMATH Keywords: Logic based program synthesis
zbMATH Keywords: Logic based program transformation
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1007/3-540-45142-0
OpenAlex ID: W2894752807
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. 15th international symposium, LOPSTR 2005, London, UK, September 7--9, 2005. 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. 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28--30, 2001. Selected papers
Recommended article: Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7--9, 2020. Proceedings
Recommended article: Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9--11, 2014. 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. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers.
Recommended article: Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6--8, 2016. Revised selected papers
description: scientific article; zbMATH DE number 1636370