Sign in

Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers.

Hendrik van AntwerpenEelco Visser
Published in: ECOOP (2021)
Keyphrases
  • databases
  • genetic algorithm
  • multiresolution
  • high resolution
  • parallel computation
  • search engine
  • message passing
  • state variables
  • shared memory