Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319178219, 9783319178226

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_2 ◽

2015 ◽

pp. 21-38 ◽

Cited By ~ 1

Author(s):

Danny De Schreye ◽

Vincent Nys ◽

Colin Nicholson

Keyword(s):

Partial Deduction

Download Full-text

A Formal Semantics for the Cognitive Architecture ACT-R

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_5 ◽

2015 ◽

pp. 74-91 ◽

Cited By ~ 3

Author(s):

Daniel Gall ◽

Thom Frühwirth

Keyword(s):

Cognitive Architecture ◽

Formal Semantics

Download Full-text

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_16 ◽

2015 ◽

pp. 279-296

Author(s):

Md. Solimul Chowdhury ◽

Fangfang Liu ◽

Wu Chen ◽

Arash Karimi ◽

Jia-Huai You

Keyword(s):

Case Studies ◽

Polynomial Approximation ◽

Logic Programs

Download Full-text

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_12 ◽

2015 ◽

pp. 201-218 ◽

Cited By ~ 2

Author(s):

Amer Tahat ◽

Ali Ebnenasir

Keyword(s):

Hybrid Method

Download Full-text

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_7 ◽

2015 ◽

pp. 113-130 ◽

Cited By ~ 2

Author(s):

Salvador Lucas ◽

José Meseguer ◽

Raúl Gutiérrez

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting ◽

Dependency Pair

Download Full-text

Functional Kleene Closures

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_14 ◽

2015 ◽

pp. 241-258

Author(s):

Nikita Danilenko

Download Full-text

Analyzing Array Manipulating Programs by Program Transformation

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_1 ◽

2015 ◽

pp. 3-20 ◽

Cited By ~ 2

Author(s):

J. Robert M. Cornish ◽

Graeme Gange ◽

Jorge A. Navas ◽

Peter Schachte ◽

Harald Søndergaard ◽

...

Keyword(s):

Program Transformation

Download Full-text

Exhaustive Execution of CHR Through Source-to-Source Transformation

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_4 ◽

2015 ◽

pp. 59-73 ◽

Cited By ~ 1

Author(s):

Ahmed Elsawy ◽

Amira Zaki ◽

Slim Abdennadher

Keyword(s):

Source Transformation

Download Full-text

Declarative Compilation for Constraint Logic Programming

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_17 ◽

2015 ◽

pp. 299-316

Author(s):

Emilio Jesús Gallego Arias ◽

James Lipton ◽

Julio Mariño

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

On Completeness of Logic Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_15 ◽

2015 ◽

pp. 261-278 ◽

Cited By ~ 1

Author(s):

Włodzimierz Drabent

Keyword(s):

Logic Programs

Download Full-text

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

A Formal Semantics for the Cognitive Architecture ACT-R

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

Functional Kleene Closures

Analyzing Array Manipulating Programs by Program Transformation

Exhaustive Execution of CHR Through Source-to-Source Transformation

Declarative Compilation for Constraint Logic Programming

On Completeness of Logic Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications