Sign in
VeriFly: On-the-fly Assertion Checking via Incrementality.
Miguel A. Sanchez-Ordaz
Isabel Garcia-Contreras
Victor Perez-Carrasco
José F. Morales
Pedro López-García
Manuel V. Hermenegildo
Published in:
Theory Pract. Log. Program. (2021)
Keyphrases
</>
viewpoint
special case
consistency checking
case study
query language
image compression