Login / Signup

Verified Reversible Programming for Verified Lossless Compression.

James TownsendJan-Willem van de Meent
Published in: CoRR (2022)
Keyphrases
  • lossless compression
  • image compression
  • compression ratio
  • lossy compression
  • compression rate
  • lossless image compression
  • quadtree
  • entropy coding