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

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319274355, 9783319274362

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SHIP - A Logic-Based Language and Tool to Program Smart Environments

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

10.1007/978-3-319-27436-2_19 ◽

2015 ◽

pp. 313-328 ◽

Author(s):

Serge Autexier ◽

Dieter Hutter

Keyword(s):

Smart Environments

Download Full-text

Combining Top-Down and Bottom-Up Techniques in Program Derivation

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

10.1007/978-3-319-27436-2_15 ◽

2015 ◽

pp. 244-258 ◽

Author(s):

Dipak L. Chaudhari ◽

Om Damani

Keyword(s):

Top Down ◽

Bottom Up ◽

Program Derivation

Download Full-text

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

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

10.1007/978-3-319-27436-2_9 ◽

2015 ◽

pp. 143-160 ◽

Author(s):

Nasrine Damouche ◽

Matthieu Martel ◽

Alexandre Chapoutot

Keyword(s):

Iterative Methods

Download Full-text

From Boolean Equalities to Constraints

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

10.1007/978-3-319-27436-2_5 ◽

2015 ◽

pp. 73-88 ◽

Author(s):

Sergio Antoy ◽

Michael Hanus

Download Full-text

A Type-Theoretic Approach to Resolution

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

10.1007/978-3-319-27436-2_6 ◽

2015 ◽

pp. 91-106 ◽

Author(s):

Peng Fu ◽

Ekaterina Komendantskaya

Keyword(s):

Theoretic Approach

Download Full-text

Compiling Collapsing Rules in Certain Constructor Systems

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

10.1007/978-3-319-27436-2_4 ◽

2015 ◽

pp. 57-72

Author(s):

Sergio Antoy ◽

Andy Jost

Download Full-text

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

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

10.1007/978-3-319-27436-2_21 ◽

2015 ◽

pp. 349-364 ◽

Author(s):

Roberto Amadini ◽

Maurizio Gabbrielli ◽

Jacopo Mauro

Download Full-text

CHR in Action

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

10.1007/978-3-319-27436-2_22 ◽

2015 ◽

pp. 365-383

Author(s):

Arwa Ismail ◽

Nada Sharaf ◽

Slim Abdennadher

Download Full-text

Checking Java Assertions Using Automated Test-Case Generation

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

10.1007/978-3-319-27436-2_13 ◽

2015 ◽

pp. 221-226

Author(s):

Rafael Caballero ◽

Manuel Montenegro ◽

Herbert Kuchen ◽

Vincent von Hof

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

A Typed Language for Events

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

10.1007/978-3-319-27436-2_7 ◽

2015 ◽

pp. 107-123

Author(s):

Sandra Alves ◽

Sabine Broda ◽

Maribel Fernández

Download Full-text