Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301307568> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4301307568 abstract "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. To appear in Theory and Practice of Logic Programming" @default.
- W4301307568 created "2022-10-05" @default.
- W4301307568 creator A5027472042 @default.
- W4301307568 creator A5028255011 @default.
- W4301307568 creator A5054366195 @default.
- W4301307568 creator A5073662063 @default.
- W4301307568 creator A5082496615 @default.
- W4301307568 date "2012-10-08" @default.
- W4301307568 modified "2023-10-14" @default.
- W4301307568 title "Annotating Answer-Set Programs in LANA?" @default.
- W4301307568 doi "https://doi.org/10.48550/arxiv.1210.2195" @default.
- W4301307568 hasPublicationYear "2012" @default.
- W4301307568 type Work @default.
- W4301307568 citedByCount "0" @default.
- W4301307568 crossrefType "posted-content" @default.
- W4301307568 hasAuthorship W4301307568A5027472042 @default.
- W4301307568 hasAuthorship W4301307568A5028255011 @default.
- W4301307568 hasAuthorship W4301307568A5054366195 @default.
- W4301307568 hasAuthorship W4301307568A5073662063 @default.
- W4301307568 hasAuthorship W4301307568A5082496615 @default.
- W4301307568 hasBestOaLocation W43013075681 @default.
- W4301307568 hasConcept C115903868 @default.
- W4301307568 hasConcept C121332964 @default.
- W4301307568 hasConcept C1276947 @default.
- W4301307568 hasConcept C148027188 @default.
- W4301307568 hasConcept C151730666 @default.
- W4301307568 hasConcept C154945302 @default.
- W4301307568 hasConcept C177264268 @default.
- W4301307568 hasConcept C182620335 @default.
- W4301307568 hasConcept C199360897 @default.
- W4301307568 hasConcept C204321447 @default.
- W4301307568 hasConcept C2776321320 @default.
- W4301307568 hasConcept C2777904410 @default.
- W4301307568 hasConcept C2778505590 @default.
- W4301307568 hasConcept C2778770139 @default.
- W4301307568 hasConcept C2779343474 @default.
- W4301307568 hasConcept C41008148 @default.
- W4301307568 hasConcept C48859967 @default.
- W4301307568 hasConcept C56666940 @default.
- W4301307568 hasConcept C60048249 @default.
- W4301307568 hasConcept C86803240 @default.
- W4301307568 hasConceptScore W4301307568C115903868 @default.
- W4301307568 hasConceptScore W4301307568C121332964 @default.
- W4301307568 hasConceptScore W4301307568C1276947 @default.
- W4301307568 hasConceptScore W4301307568C148027188 @default.
- W4301307568 hasConceptScore W4301307568C151730666 @default.
- W4301307568 hasConceptScore W4301307568C154945302 @default.
- W4301307568 hasConceptScore W4301307568C177264268 @default.
- W4301307568 hasConceptScore W4301307568C182620335 @default.
- W4301307568 hasConceptScore W4301307568C199360897 @default.
- W4301307568 hasConceptScore W4301307568C204321447 @default.
- W4301307568 hasConceptScore W4301307568C2776321320 @default.
- W4301307568 hasConceptScore W4301307568C2777904410 @default.
- W4301307568 hasConceptScore W4301307568C2778505590 @default.
- W4301307568 hasConceptScore W4301307568C2778770139 @default.
- W4301307568 hasConceptScore W4301307568C2779343474 @default.
- W4301307568 hasConceptScore W4301307568C41008148 @default.
- W4301307568 hasConceptScore W4301307568C48859967 @default.
- W4301307568 hasConceptScore W4301307568C56666940 @default.
- W4301307568 hasConceptScore W4301307568C60048249 @default.
- W4301307568 hasConceptScore W4301307568C86803240 @default.
- W4301307568 hasLocation W43013075681 @default.
- W4301307568 hasLocation W43013075682 @default.
- W4301307568 hasLocation W43013075683 @default.
- W4301307568 hasOpenAccess W4301307568 @default.
- W4301307568 hasPrimaryLocation W43013075681 @default.
- W4301307568 hasRelatedWork W2107523885 @default.
- W4301307568 hasRelatedWork W2358992323 @default.
- W4301307568 hasRelatedWork W2900217177 @default.
- W4301307568 hasRelatedWork W2907375469 @default.
- W4301307568 hasRelatedWork W2951579968 @default.
- W4301307568 hasRelatedWork W2952030618 @default.
- W4301307568 hasRelatedWork W4246531319 @default.
- W4301307568 hasRelatedWork W4289294633 @default.
- W4301307568 hasRelatedWork W4298081562 @default.
- W4301307568 hasRelatedWork W4301307568 @default.
- W4301307568 isParatext "false" @default.
- W4301307568 isRetracted "false" @default.
- W4301307568 workType "article" @default.