Fully abstract from static to gradual.

Koen Jacobs Amin Timany Dominique Devriese

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

state machines
data sets
information systems
high level
high quality
machine learning
website
higher level
artificial intelligence
multi agent
user interface
multiresolution
scheduling problem