Search: id:"swepub:oai:DiVA.org:hj-63960" >
LANA: A Language fo...
-
De Vos, MarinaDepartment of Computer Science, University of Bath, Bath, UK
(author)
LANA: A Language for Annotating Answer-Set Programs
- Article/chapterEnglish2012
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:DiVA.org:hj-63960
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63960URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kon swepub-publicationtype
Notes
-
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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Kisa, Doga GizemFaculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul, Turkey
(author)
-
Oetsch, JohannesInstitut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria(Swepub:hj)oetjoh
(author)
-
Puehrer, JoergInstitut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria
(author)
-
Tompits, HansInstitut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria
(author)
-
Department of Computer Science, University of Bath, Bath, UKFaculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul, Turkey
(creator_code:org_t)
Internet link
To the university's database