Data validation may save the day of computer programmers, whatever programming language they use. Answer Set Programming is not an exception, but the quest for better and better performance resulted in systems that eßentially do not validate data in any way. VALASP is a tool to inject data validation in ordinary programs, so to promote fail-fast techniques at coding time without imposing any lag on the deployed system if data are pretended to be valid.
Data validation for answer set programming (extended abstract)
Alviano M.;Dodaro C.
2020-01-01
Abstract
Data validation may save the day of computer programmers, whatever programming language they use. Answer Set Programming is not an exception, but the quest for better and better performance resulted in systems that eßentially do not validate data in any way. VALASP is a tool to inject data validation in ordinary programs, so to promote fail-fast techniques at coding time without imposing any lag on the deployed system if data are pretended to be valid.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
