Intensional Kleene and Rice theorems for abstract program semantics.
Paolo BaldanFrancesco RanzatoLinpeng ZhangPublished in: Inf. Comput. (2022)
Keyphrases
- logic programming
- declarative semantics
- intended meaning
- semantically equivalent
- propositional logic
- formal semantics
- control flow
- operational semantics
- conceptual schema
- semantic information
- propositional dynamic logic
- semantics of logic programs
- programming course
- program execution
- programming language constructs
- high level
- stable model semantics
- graphical representation
- computer programs
- regular expressions
- logic programs
- higher order