Extracting total Amb programs from proofs.

Ulrich Berger Hideki Tsuiki

Published in: ESOP (2022)

Keyphrases

computer programs
theorem proving
formal proofs
automatically extracted
real time
search algorithm
formal proof
automatic programming
data extraction
dynamic model
information systems
search engine
artificial intelligence
genetic algorithm
information retrieval
data mining
data sets