Denotation-based Compositional Compiler Verification.

Zhang Cheng Jiyang Wu Di Wang Qinxiang Cao

Published in: CoRR (2024)

Keyphrases

model checking
java bytecode
programming language
general purpose
highly optimized
verification method
formal verification
asynchronous circuits
real time
databases
data mining
machine learning
multiscale
expert systems
face verification