Sign in
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.
Arjen Rouvoet
Hendrik van Antwerpen
Casper Bach Poulsen
Robbert Krebbers
Eelco Visser
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
high level
scheduling problem
high resolution
attribute grammars
knowledge representation
domain independent
scheduling algorithm
learning algorithm
high quality
finite state machines
truth maintenance systems
declarative language
delay insensitive