DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2011.280

Correct Reasoning about Logic Programs

Authors: Jael Kriener

Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)

Abstract

In this PhD project, we present an approach to the problem of determinacy inference in logic programs with cut, which treats cut uniformly and contextually. The overall aim is to develop a theoretical analysis, abstract it to a suitable domain and prove both the concrete analysis and the abstraction correct in a formal theorem prover (Coq). A crucial advantage of this approach, besides the guarantee of correctness, is the possibility of automatically extracting an implementation of the analysis.

Cite as

Jael Kriener. Correct Reasoning about Logic Programs. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 280-283, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{kriener:LIPIcs.ICLP.2011.280,
  author =	{Kriener, Jael},
  title =	{{Correct Reasoning about Logic Programs}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{280--283},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{Gallagher, John P. and Gelfond, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.280},
  URN =		{urn:nbn:de:0030-drops-31875},
  doi =		{10.4230/LIPIcs.ICLP.2011.280},
  annote =	{Keywords: Prolog, cut, determinacy inference, abstract interpretation, denotational semantics, automated theorem proving, Coq}
}

Search Results

Documents authored by Kriener, Jael

Correct Reasoning about Logic Programs

Abstract

Cite as

Thanks for your feedback!

Could not send message