Analysis of Normal Logic Programs
No abstract available.
Related papers
- Call-by-Name and Call-by-Value in Normal Modal Logic APLAS 2007
- Identification of logically related heap regions ISMM 2009
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work ICFP 2004
- Improving Stability of SMT Solvers via Context-Driven Normalization CAV 2026
- Normal-order reduction grammars JFP 2017
- Java Bytecode Normalization for Code Similarity Analysis ECOOP 2024
- An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs TOPLAS 1998
- Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs TOPLAS 1998