Similar Items: Service-Oriented Logic Programming
- Bialgebraic Semantics for Logic Programming
- Program Logics for Homogeneous Generative Run-Time Meta-Programming
- The role of logical interpretations in program development
- Coalgebraic Semantics for Probabilistic Logic Programming
- Permission-Based Separation Logic for Multithreaded Java Programs
- A Program Logic for Verifying Secure Routing Protocols