Extracting total Amb programs from proofs.

Ulrich Berger Hideki Tsuiki

Published in: CoRR (2023)

Keyphrases

computer programs
theorem proving
intermediate level
automatically extracting
automatic programming
databases
real world
e learning
multiscale
programming language
operating system
theorem prover
data extraction
fixpoint