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

Hendrik van Antwerpen Eelco Visser

Published in: ECOOP (2021)

Keyphrases

databases
genetic algorithm
multiresolution
high resolution
parallel computation
search engine
message passing
state variables
shared memory