A Validation Methodology for OCaml-to-PVS Translation.

Xiaoxin An Amer Tahat Binoy Ravindran

Published in: NFM (2020)

Keyphrases

theorem proving
cross language information retrieval
query translation
database
databases
neural network
artificial intelligence
multi agent
search algorithm
multi agent systems
machine translation
statistical methods
xml schema