On collecting semantics for program analysis.

Gianluca Amato Maria Chiara Meo Francesca Scozzari

Published in: Theor. Comput. Sci. (2020)

Keyphrases

formal semantics
data collection
multiscale
logic programming
semantic information
databases
web services
graphical representation
logical language
intended meaning