Login / Signup

Fully-abstract compilation by approximate back-translation.

Dominique DevrieseMarco PatrignaniFrank Piessens
Published in: POPL (2016)
Keyphrases
  • high level
  • higher level
  • exact solution
  • database
  • database systems
  • real time
  • databases
  • decision making
  • image processing
  • image segmentation
  • relational databases
  • piecewise linear
  • rotation and translation