1 Search Results for "Wilson, Walter W."

Document
DOI: 10.4230/LIPIcs.ICLP.2011.290
Implementation of Axiomatic Language

Authors: Walter W. Wilson

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

Abstract
This report summarizes a PhD research effort to implement a type of logic programming language called "axiomatic language". Axiomatic language is intended as a specification language, so its implementation involves the transformation of specifications to efficient algorithms. The language is described and the implementation task is discussed.
Cite as

Walter W. Wilson. Implementation of Axiomatic Language. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 290-295, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{wilson:LIPIcs.ICLP.2011.290,
  author =	{Wilson, Walter W.},
  title =	{{Implementation of Axiomatic Language}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{290--295},
  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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.290},
  URN =		{urn:nbn:de:0030-drops-31893},
  doi =		{10.4230/LIPIcs.ICLP.2011.290},
  annote =	{Keywords: axiomatic language, specification, program transformation, unfold/fold}
}
  • Refine by Author
  • 1 Wilson, Walter W.

  • Refine by Classification

  • Refine by Keyword
  • 1 axiomatic language
  • 1 program transformation
  • 1 specification
  • 1 unfold/fold

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2011

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact