Matches in SemOpenAlex for { <https://semopenalex.org/work/W4220740973> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4220740973 endingPage "21" @default.
- W4220740973 startingPage "1" @default.
- W4220740973 abstract "Abstract The development of complex software requires tools promoting fail-fast approaches, so that bugs and unexpected behavior can be quickly identified and fixed. Tools for data validation may save the day of computer programmers. In fact, processing invalid data is a waste of resources at best, and a drama at worst if the problem remains unnoticed and wrong results are used for business. Answer Set Programming (ASP) is not an exception, but the quest for better and better performance resulted in systems that essentially do not validate data. Even under the simplistic assumption that input/output data are eventually validated by external tools, invalid data may appear in other portions of the program, and go undetected until some other module of the designed software suddenly breaks. This paper formalizes the problem of data validation for ASP programs, introduces a language to specify data validation, and presents valasp , a tool to inject data validation in ordinary programs. The proposed approach promotes fail-fast techniques at coding time without imposing any lag on the deployed system if data are pretended to be valid. Validation can be specified in terms of statements using YAML, ASP and Python. Additionally, the proposed approach opens the possibility to use ASP for validating data of imperative programming languages." @default.
- W4220740973 created "2022-04-03" @default.
- W4220740973 creator A5031224507 @default.
- W4220740973 creator A5039882261 @default.
- W4220740973 creator A5063169272 @default.
- W4220740973 date "2022-03-14" @default.
- W4220740973 modified "2023-09-29" @default.
- W4220740973 title "ValAsp: A Tool for Data Validation in Answer Set Programming" @default.
- W4220740973 cites W1499010972 @default.
- W4220740973 cites W1544096846 @default.
- W4220740973 cites W1590284853 @default.
- W4220740973 cites W1639901403 @default.
- W4220740973 cites W1658739789 @default.
- W4220740973 cites W1993139624 @default.
- W4220740973 cites W2017927472 @default.
- W4220740973 cites W2027826324 @default.
- W4220740973 cites W2035046277 @default.
- W4220740973 cites W2076698873 @default.
- W4220740973 cites W2097139073 @default.
- W4220740973 cites W2152131859 @default.
- W4220740973 cites W2278179665 @default.
- W4220740973 cites W2541459776 @default.
- W4220740973 cites W2563136300 @default.
- W4220740973 cites W2624964952 @default.
- W4220740973 cites W2804272367 @default.
- W4220740973 cites W2809901382 @default.
- W4220740973 cites W2891226953 @default.
- W4220740973 cites W2944851960 @default.
- W4220740973 cites W2962884884 @default.
- W4220740973 cites W2963870233 @default.
- W4220740973 cites W2979756037 @default.
- W4220740973 cites W2994667977 @default.
- W4220740973 cites W3098606030 @default.
- W4220740973 cites W3101739347 @default.
- W4220740973 cites W3104830616 @default.
- W4220740973 cites W3105322051 @default.
- W4220740973 cites W3125593468 @default.
- W4220740973 cites W4250566984 @default.
- W4220740973 doi "https://doi.org/10.1017/s1471068422000084" @default.
- W4220740973 hasPublicationYear "2022" @default.
- W4220740973 type Work @default.
- W4220740973 citedByCount "0" @default.
- W4220740973 crossrefType "journal-article" @default.
- W4220740973 hasAuthorship W4220740973A5031224507 @default.
- W4220740973 hasAuthorship W4220740973A5039882261 @default.
- W4220740973 hasAuthorship W4220740973A5063169272 @default.
- W4220740973 hasBestOaLocation W42207409732 @default.
- W4220740973 hasConcept C115903868 @default.
- W4220740973 hasConcept C124101348 @default.
- W4220740973 hasConcept C177264268 @default.
- W4220740973 hasConcept C182620335 @default.
- W4220740973 hasConcept C199360897 @default.
- W4220740973 hasConcept C2777904410 @default.
- W4220740973 hasConcept C41008148 @default.
- W4220740973 hasConcept C519991488 @default.
- W4220740973 hasConcept C92446256 @default.
- W4220740973 hasConceptScore W4220740973C115903868 @default.
- W4220740973 hasConceptScore W4220740973C124101348 @default.
- W4220740973 hasConceptScore W4220740973C177264268 @default.
- W4220740973 hasConceptScore W4220740973C182620335 @default.
- W4220740973 hasConceptScore W4220740973C199360897 @default.
- W4220740973 hasConceptScore W4220740973C2777904410 @default.
- W4220740973 hasConceptScore W4220740973C41008148 @default.
- W4220740973 hasConceptScore W4220740973C519991488 @default.
- W4220740973 hasConceptScore W4220740973C92446256 @default.
- W4220740973 hasLocation W42207409731 @default.
- W4220740973 hasLocation W42207409732 @default.
- W4220740973 hasOpenAccess W4220740973 @default.
- W4220740973 hasPrimaryLocation W42207409731 @default.
- W4220740973 hasRelatedWork W2171836055 @default.
- W4220740973 hasRelatedWork W2231937797 @default.
- W4220740973 hasRelatedWork W2327204559 @default.
- W4220740973 hasRelatedWork W2529681551 @default.
- W4220740973 hasRelatedWork W2758245007 @default.
- W4220740973 hasRelatedWork W2962849695 @default.
- W4220740973 hasRelatedWork W3017187763 @default.
- W4220740973 hasRelatedWork W4232504361 @default.
- W4220740973 hasRelatedWork W4245752324 @default.
- W4220740973 hasRelatedWork W4299511937 @default.
- W4220740973 isParatext "false" @default.
- W4220740973 isRetracted "false" @default.
- W4220740973 workType "article" @default.