• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A programming model for semi-implicit parallelization of static analyses.

Dominik HelmFlorian KüblerJan Thomas KölzerPhilipp HallerMichael EichbergGuido SalvaneschiMira Mezini
Published in: ISSTA (2020)
Keyphrases
  • high order
  • image processing
  • finite difference