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

9783319944593, 9783319944609

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Confluence and Convergence in Probabilistically Terminating Reduction Systems

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

10.1007/978-3-319-94460-9_10 ◽

2018 ◽

pp. 164-179

Author(s):

Maja H. Kirkeby ◽

Henning Christiansen

Download Full-text

Nominal C-Unification

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

10.1007/978-3-319-94460-9_14 ◽

2018 ◽

pp. 235-251 ◽

Cited By ~ 1

Author(s):

Mauricio Ayala-Rincón ◽

Washington de Carvalho-Segundo ◽

Maribel Fernández ◽

Daniele Nantes-Sobrinho

Download Full-text

CARET Analysis of Multithreaded Programs

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

10.1007/978-3-319-94460-9_5 ◽

2018 ◽

pp. 73-90 ◽

Cited By ~ 1

Author(s):

Huu-Vu Nguyen ◽

Tayssir Touili

Keyword(s):

Multithreaded Programs

Download Full-text

Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures

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

10.1007/978-3-319-94460-9_13 ◽

2018 ◽

pp. 218-234 ◽

Cited By ~ 2

Author(s):

Hassan Aït-Kaci ◽

Gabriella Pasi

Keyword(s):

First Order

Download Full-text

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

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

10.1007/978-3-319-94460-9_15 ◽

2018 ◽

pp. 252-268 ◽

Cited By ~ 1

Author(s):

Olivier Bodini ◽

Paul Tarau

Download Full-text

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks

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

10.1007/978-3-319-94460-9_4 ◽

2018 ◽

pp. 54-72

Author(s):

Umer Liqat ◽

Zorana Banković ◽

Pedro Lopez-Garcia ◽

Manuel V. Hermenegildo

Keyword(s):

Program Analysis ◽

Evolutionary Modeling ◽

Static Program Analysis ◽

Energy Bounds ◽

Basic Blocks

Download Full-text

A Certified Reference Validation Mechanism for the Permission Model of Android

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

10.1007/978-3-319-94460-9_16 ◽

2018 ◽

pp. 271-288 ◽

Cited By ~ 1

Author(s):

Gustavo Betarte ◽

Juan Campo ◽

Felipe Gorostiaga ◽

Carlos Luna

Download Full-text

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

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

10.1007/978-3-319-94460-9_18 ◽

2018 ◽

pp. 306-322 ◽

Cited By ~ 3

Author(s):

Raúl Gutiérrez ◽

José Meseguer

Download Full-text

Analysis of Rewriting-Based Systems as First-Order Theories

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

10.1007/978-3-319-94460-9_11 ◽

2018 ◽

pp. 180-197 ◽

Cited By ~ 3

Author(s):

Salvador Lucas

Keyword(s):

First Order

Download Full-text

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

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

10.1007/978-3-319-94460-9_9 ◽

2018 ◽

pp. 147-163 ◽

Cited By ~ 1

Author(s):

Thom Frühwirth

Keyword(s):

Constraint Handling ◽

Dynamic Algorithms

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Nominal C-Unification

CARET Analysis of Multithreaded Programs

Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks

A Certified Reference Validation Mechanism for the Permission Model of Android

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

Analysis of Rewriting-Based Systems as First-Order Theories

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

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