Abstract is missing.
- Analyzing Array Manipulating Programs by Program TransformationJ. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. 3-20 [doi]
- Analysing and Compiling Coroutines with Abstract Conjunctive Partial DeductionDanny De Schreye, Vincent Nys, Colin J. Nicholson. 21-38 [doi]
- Confluence Modulo Equivalence in Constraint Handling RulesHenning Christiansen, Maja H. Kirkeby. 41-58 [doi]
- Exhaustive Execution of CHR Through Source-to-Source TransformationAhmed Elsawy, Amira Zaki, Slim Abdennadher. 59-73 [doi]
- A Formal Semantics for the Cognitive Architecture ACT-RDaniel Gall, Thom W. Frühwirth. 74-91 [doi]
- CHRAnimation: An Animation Tool for Constraint Handling RulesNada Sharaf, Slim Abdennadher, Thom W. Frühwirth. 92-110 [doi]
- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting SystemsSalvador Lucas, José Meseguer, Raúl Gutiérrez. 113-130 [doi]
- Partial Evaluation for Java Malware DetectionRanjeet Singh, Andy King. 133-147 [doi]
- Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based SemanticsSandra Alves, Anatoli Degtyarev, Maribel Fernández. 148-163 [doi]
- Concolic Execution and Test Case Generation in PrologGermán Vidal. 167-181 [doi]
- Liveness Properties in CafeOBJ - A Case Study for Meta-Level SpecificationsNorbert Preining, Kazuhiro Ogata, Kokichi Futatsugi. 182-198 [doi]
- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing ProtocolsAmer Tahat, Ali Ebnenasir. 201-218 [doi]
- Drill and Join: A Method for Exact Inductive Program SynthesisRemis Balaniuk. 219-237 [doi]
- Functional Kleene ClosuresNikita Danilenko. 241-258 [doi]
- On Completeness of Logic ProgramsWlodzimierz Drabent. 261-278 [doi]
- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case StudiesMd. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You. 279-296 [doi]
- Declarative Compilation for Constraint Logic ProgrammingEmilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo. 299-316 [doi]
- Pre-indexed Terms for PrologJosé F. Morales, Manuel V. Hermenegildo. 317-331 [doi]