A Calculus for Unreachable Code.

Peter Zhong Shu-Hung You Simone Campanoni Robert Bruce Findler Matthew Flatt Christos Dimoulas

Published in: CoRR (2024)

Keyphrases

source code
program code
multiscale
decision trees
open source
automated theorem proving
database
real time
databases
search engine
bayesian networks