Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Annotating answer-set programs in Lana
Department of Computing, University of Bath, Bath, United Kingdom.
Faculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul, Turkey.
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.ORCID-id: 0000-0002-9902-7662
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Visa övriga samt affilieringar
2012 (Engelska)Ingår i: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 12, nr 4-5, s. 619-637Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called Lana. This language allows the grouping of rules into coherent blocks and to specify language signatures, types, pre- and postconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASP solver, as they take the form of program comments, they can be interpreted by tools for documentation, testing, and verification purposes, as well as to eliminate sources of common programming errors by realising syntax checking or code completion features. To demonstrate its versatility, we introduce two such tools, viz. (i) ASPDoc, for generating an HTML documentation for a program based on the annotated information, and (ii) ASPUnit, for running and monitoring unit tests on program blocks. Lana is also exploited in the SeaLion system, an integrated development environment for ASP based on Eclipse.

Ort, förlag, år, upplaga, sidor
Cambridge University Press, 2012. Vol. 12, nr 4-5, s. 619-637
Nyckelord [en]
answer-set programming, documentation, program annotations, unit testing, Annotation languages, Coherent blocks, Development support, Integrated development environment, Meta information, Program annotation, Program block, Programming errors, Research trends, Unit tests, Logic programming, Software testing, System program documentation, Web services, Program documentation
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:hj:diva-63572DOI: 10.1017/S147106841200021XISI: 000308365000012Scopus ID: 2-s2.0-84871980854OAI: oai:DiVA.org:hj-63572DiVA, id: diva2:1838386
Tillgänglig från: 2024-02-16 Skapad: 2024-02-16 Senast uppdaterad: 2024-02-16Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Oetsch, Johannes

Sök vidare i DiVA

Av författaren/redaktören
Oetsch, Johannes
I samma tidskrift
Theory and Practice of Logic Programming
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 20 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf