default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th LOPSTR 2014: Canterbury, UK
- Maurizio Proietti
, Hirohisa Seki:
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8981, Springer 2015, ISBN 978-3-319-17821-9
Program Analysis and Transformation
- J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Analyzing Array Manipulating Programs by Program Transformation. 3-20 - Danny De Schreye, Vincent Nys, Colin J. Nicholson:
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. 21-38
Constraint Handling Rules
- Henning Christiansen, Maja H. Kirkeby:
Confluence Modulo Equivalence in Constraint Handling Rules. 41-58 - Ahmed Elsawy, Amira Zaki, Slim Abdennadher:
Exhaustive Execution of CHR Through Source-to-Source Transformation. 59-73 - Daniel Gall, Thom W. Frühwirth:
A Formal Semantics for the Cognitive Architecture ACT-R. 74-91 - Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth:
CHRAnimation: An Animation Tool for Constraint Handling Rules. 92-110
Termination Analysis
- Salvador Lucas, José Meseguer, Raúl Gutiérrez:
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. 113-130
Security
- Ranjeet Singh, Andy King:
Partial Evaluation for Java Malware Detection. 133-147 - Sandra Alves, Anatoli Degtyarev, Maribel Fernández:
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. 148-163
Program Testing and Verification
- Germán Vidal:
Concolic Execution and Test Case Generation in Prolog. 167-181 - Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi:
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. 182-198
Program Synthesis
- Amer Tahat, Ali Ebnenasir:
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. 201-218 - Remis Balaniuk:
Drill and Join: A Method for Exact Inductive Program Synthesis. 219-237
Program Derivation
- Nikita Danilenko:
Functional Kleene Closures. 241-258
Semantic Issues in Logic Programming
- Wlodzimierz Drabent:
On Completeness of Logic Programs. 261-278 - Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You:
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. 279-296
Program Transformation and Optimization
- Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo:
Declarative Compilation for Constraint Logic Programming. 299-316 - José F. Morales, Manuel V. Hermenegildo:
Pre-indexed Terms for Prolog. 317-331
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-17 23:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
