Representing Partial Programs with Blended Abstract Semantics.
Maxwell I. NyeYewen PuMatthew BowersJacob AndreasJoshua B. TenenbaumArmando Solar-LezamaPublished in: ICLR (2021)
Keyphrases
- graphical representation
- dynamic logic
- stable model semantics
- formal semantics
- programming language constructs
- fixpoint semantics
- control flow
- online learning
- semantic information
- higher education
- propositional dynamic logic
- intermediate level
- low level
- higher level
- logic programs
- high level
- stable models
- data sets
- normal logic programs
- database systems
- automatic programming
- programming language
- fixpoint
- programming environment
- computer programs
- logic programming