A program logic for fresh name generation.
Harold Pancho EliottMartin BergerPublished in: CoRR (2021)
Keyphrases
- logic programming
- functional programs
- program synthesis
- declarative semantics
- modal logic
- real time
- recursive programs
- programs written
- classical logic
- generation process
- programming language
- knowledge base
- computer programs
- programming environment
- query language
- program execution
- artificial intelligence
- learning algorithm
- proof theory
- machine learning
- data sets
- database