Login / Signup

VeriFly: On-the-fly Assertion Checking via Incrementality.

Miguel A. Sanchez-OrdazIsabel Garcia-ContrerasVictor Perez-CarrascoJosé F. MoralesPedro López-GarcíaManuel V. Hermenegildo
Published in: Theory Pract. Log. Program. (2021)
Keyphrases
  • viewpoint
  • special case
  • consistency checking
  • case study
  • query language
  • image compression