Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
LANA: A Language for Annotating Answer-Set Programs
Department of Computer Science, University of Bath, Bath, UK.
Faculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul, Turkey.
Institut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Institut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria.
Show others and affiliations
2012 (English)Conference paper, Published paper (Refereed)
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 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 to group 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 bytools for documentation, testing, and verification purposes, and can help to eliminate sources of common programming errors by realising syntax checking or code completion features. 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.

Place, publisher, year, edition, pages
2012.
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63960OAI: oai:DiVA.org:hj-63960DiVA, id: diva2:1850256
Conference
NMR 2012, 14th International Workshop on Non-Monotonic Reasoning, 8–10 June 2012, Rome, Italy
Available from: 2024-04-10 Created: 2024-04-10 Last updated: 2024-04-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Fulltext

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 47 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf