Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. (English) Zbl 1320.68028

Lecture Notes in Computer Science 8981. Cham: Springer (ISBN 978-3-319-17821-9/pbk; 978-3-319-17822-6/ebook). xii, 333 p. (2015).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1320.68017].
Indexed articles:
Cornish, J. Robert M.; Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J., Analyzing array manipulating programs by program transformation, 3-20 [Zbl 1457.68060]
De Schreye, Danny; Nys, Vincent; Nicholson, Colin, Analysing and compiling coroutines with abstract conjunctive partial deduction, 21-38 [Zbl 1353.68033]
Christiansen, Henning; Kirkeby, Maja H., Confluence modulo equivalence in Constraint Handling Rules, 41-58 [Zbl 1353.68048]
Elsawy, Ahmed; Zaki, Amira; Abdennadher, Slim, Exhaustive execution of CHR through source-to-source transformation, 59-73 [Zbl 1457.68040]
Gall, Daniel; Frühwirth, Thom, A formal semantics for the cognitive architecture ACT-R, 74-91 [Zbl 1457.68041]
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl, Extending the 2D dependency pair framework for conditional term rewriting systems, 113-130 [Zbl 1457.68136]
Singh, Ranjeet; King, Andy, Partial evaluation for Java malware detection, 133-147 [Zbl 1353.68057]
Alves, Sandra; Degtyarev, Anatoli; Fernández, Maribel, Access control and obligations in the category-based metamodel: a rewrite-based semantics, 148-163 [Zbl 1457.68027]
Vidal, Germán, Concolic execution and test case generation in Prolog, 167-181 [Zbl 1457.68043]
Preining, Norbert; Ogata, Kazuhiro; Futatsugi, Kokichi, Liveness properties in CafeOBJ – a case study for meta-level specifications, 182-198 [Zbl 1457.68066]
Tahat, Amer; Ebnenasir, Ali, A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols, 201-218 [Zbl 1457.68170]
Balaniuk, Remis, Drill and join: a method for exact inductive program synthesis, 219-237 [Zbl 1457.68045]
Danilenko, Nikita, Functional Kleene closures, 241-258 [Zbl 1457.68046]
Drabent, Włodzimierz, On completeness of logic programs, 261-278 [Zbl 1353.68034]
Chowdhury, Md. Solimul; Liu, Fangfang; Chen, Wu; Karimi, Arash; You, Jia-Huai, Polynomial approximation to well-founded semantics for logic programs with generalized atoms: case studies, 279-296 [Zbl 1457.68039]
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio, Declarative compilation for constraint logic programming, 299-316 [Zbl 1353.68036]
Morales, J. F.; Hermenegildo, M., Pre-indexed terms for Prolog, 317-331 [Zbl 1457.68042]


68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest


Zbl 1320.68017


Full Text: DOI