Representing Partial Programs with Blended Abstract Semantics.
Maxwell I. NyeYewen PuMatthew BowersJacob AndreasJoshua B. TenenbaumArmando Solar-LezamaPublished in: CoRR (2020)
Keyphrases
- graphical representation
- fixpoint semantics
- logic programming
- propositional dynamic logic
- stable models
- high level
- stable model semantics
- declarative semantics
- dynamic logic
- formal semantics
- higher level
- databases
- semantic information
- database
- specification language
- control flow
- deductive databases
- intermediate level
- low level
- operational semantics
- information systems
- database languages
- knowledge base
- relational databases
- automatic programming
- programming environment
- default reasoning