Challenges of Multilingual Program Specification and Analysis.

Carlo A. Furia Abhishek Tiwari

Published in: CoRR (2024)

Keyphrases

statistical analysis
neural network
database
databases
high level
information technology
static analysis