Sign in
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