Concerto: a framework for combined concrete and abstract interpretation.

John Toman Dan Grossman

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

Keyphrases

abstract interpretation
information systems
web services
multi agent systems
mobile devices
query language
database management systems
test set
termination analysis