×

Found 50 Documents (Results 1–50)

Proving properties of sorting programs: a case study in Horn clause verification. (English) Zbl 1483.68189

De Angelis, Emanuele (ed.) et al., Proceedings of the sixth workshop on Horn clauses for verification and synthesis, HCVS 2019, and the third workshop on program equivalence and relational reasoning, PERR 2019, Prague, Czech Republic, April 6–7, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 296, 48-75 (2019).
PDFBibTeX XMLCite
Full Text: arXiv Link

Verification of imperative programs by constraint logic program transformation. (English) Zbl 1464.68074

Banerjee, Anindya (ed.) et al., Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 186-210 (2013).
MSC:  68N30 68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

Specialization with constrained generalization for software model checking. (English) Zbl 1394.68072

Albert, Elvira (ed.), Logic-based program synthesis and transformation. 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18–20, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-38196-6/pbk). Lecture Notes in Computer Science 7844, 51-70 (2013).
MSC:  68N30 68N17 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Using real relaxations during program specialization. (English) Zbl 1377.68062

Vidal, Germán (ed.), Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18–20, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32210-5/pbk). Lecture Notes in Computer Science 7225, 106-122 (2012).
MSC:  68N17 68N30
PDFBibTeX XMLCite
Full Text: DOI

Program specialization for verifying infinite state systems: an experimental evaluation. (English) Zbl 1326.68184

Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 164-183 (2011).
MSC:  68Q60 68N17
PDFBibTeX XMLCite
Full Text: DOI

The transformational approach to program development. (English) Zbl 1285.68035

Dovier, Agostino (ed.) et al., A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Berlin: Springer (ISBN 978-3-642-14308-3/pbk). Lecture Notes in Computer Science 6125, 112-135 (2010).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

A folding algorithm for eliminating existential variables from constraint logic programs. (English) Zbl 1185.68184

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 284-300 (2008).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI Link

Automatic correctness proofs for logic program transformations. (English) Zbl 1213.68207

Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 364-379 (2007).
MSC:  68N30 68N17
PDFBibTeX XMLCite
Full Text: DOI Link

Proving properties of constraint logic programs by eliminating existential variables. (English) Zbl 1131.68389

Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 179-195 (2006).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Transformation rules for locally stratified constraint logic programs. (English) Zbl 1080.68010

Bruynooghe, Maurice (ed.) et al., Program development in computational logic. A decade of research advances in logic-based program development. Berlin: Springer (ISBN 3-540-22152-2/pbk). Lecture Notes in Computer Science 3049, 291-339 (2004).
MSC:  68N17 68N30
PDFBibTeX XMLCite
Full Text: DOI

Combining logic programs and monadic second order logics by program transformation. (English) Zbl 1278.68049

Leuschel, Michael (ed.), Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-40438-4/pbk). Lecture Notes in Computer Science 2664, 160-181 (2003).
MSC:  68N17 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Automated strategies for specializing constraint logic programs. (English) Zbl 1018.68502

Lau, Kung-Kiu (ed.), Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24-28, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2042, 125-146 (2001).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: Link

Transformation rules for logic programs with goals as arguments. (English) Zbl 0964.68015

Bossi, Annalisa (ed.), Logic-based program synthesis and transformation. 9th international workshop, LOPSTR ’99. Venice, Italy, September 22-24, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1817, 176-195 (2000).
MSC:  68N17
PDFBibTeX XMLCite

Rules and strategies for contextual specialization of constraint logic programs. (English) Zbl 0959.68019

Leuschel, Michael (ed.), WOID ’99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2-3, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,2, 16 p., electronic only (1999).
MSC:  68N17
PDFBibTeX XMLCite

Transformation of logic programs. (English) Zbl 0900.68141

Gabbay, Dov M. (ed.) et al., Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. Oxford: Clarendon Press. 697-787 (1998).
MSC:  68N17
PDFBibTeX XMLCite

Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. (English) Zbl 0789.68019

Maluszyński, Jan (ed.) et al., Programming language implementation and logic programming. 3rd international symposium, PLILP ’91, Passau, Germany, August 26-28, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 528, 347-358 (1991).
MSC:  68N17 68Q60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software