Similar Items: The role of logical interpretations in program development
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
- Functional Interpretations of Intuitionistic Linear Logic
- Bialgebraic Semantics for Logic Programming
- Service-Oriented Logic Programming
- Program Logics for Homogeneous Generative Run-Time Meta-Programming
- Coalgebraic Semantics for Probabilistic Logic Programming