Similar Items: Program Logics for Homogeneous Generative Run-Time Meta-Programming
- Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
- Bialgebraic Semantics for Logic Programming
- Service-Oriented Logic Programming
- The role of logical interpretations in program development
- Coalgebraic Semantics for Probabilistic Logic Programming
- Permission-Based Separation Logic for Multithreaded Java Programs