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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/311409
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact