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 Berlin Heidelberg

9783642205507, 9783642205514

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract Diagnosis of First Order Functional Logic Programs

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

10.1007/978-3-642-20551-4_14 ◽

2011 ◽

pp. 215-233

Author(s):

Giovanni Bacci ◽

Marco Comini

Keyword(s):

Logic Programs ◽

First Order ◽

Functional Logic

Download Full-text

On Inductive Proofs by Extended Unfold/Fold Transformation Rules

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

10.1007/978-3-642-20551-4_8 ◽

2011 ◽

pp. 117-132

Author(s):

Hirohisa Seki

Keyword(s):

Transformation Rules

Download Full-text

Non-termination Analysis of Logic Programs Using Types

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

10.1007/978-3-642-20551-4_9 ◽

2011 ◽

pp. 133-148 ◽

Cited By ~ 2

Author(s):

Dean Voets ◽

Danny De Schreye

Keyword(s):

Logic Programs ◽

Termination Analysis

Download Full-text

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation

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

10.1007/978-3-642-20551-4_11 ◽

2011 ◽

pp. 164-183 ◽

Cited By ~ 4

Author(s):

Fabio Fioravanti ◽

Alberto Pettorossi ◽

Maurizio Proietti ◽

Valerio Senni

Keyword(s):

Experimental Evaluation ◽

Program Specialization ◽

Infinite State Systems ◽

Infinite State

Download Full-text

Verification of the Schorr-Waite Algorithm – From Trees to Graphs

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

10.1007/978-3-642-20551-4_5 ◽

2011 ◽

pp. 67-83 ◽

Cited By ~ 9

Author(s):

Mathieu Giorgino ◽

Martin Strecker ◽

Ralph Matthes ◽

Marc Pantel

Download Full-text

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut

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

10.1007/978-3-642-20551-4_12 ◽

2011 ◽

pp. 184-199 ◽

Cited By ~ 3

Author(s):

Thomas Ströder ◽

Peter Schneider-Kamp ◽

Jürgen Giesl

Keyword(s):

Logic Programs ◽

Termination Analysis

Download Full-text

Scaling Up Algorithmic Debugging with Virtual Execution Trees

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

10.1007/978-3-642-20551-4_10 ◽

2011 ◽

pp. 149-163 ◽

Cited By ~ 3

Author(s):

David Insa ◽

Josep Silva

Keyword(s):

Scaling Up ◽

Virtual Execution

Download Full-text

Three Syntactic Theories for Combinatory Graph Reduction

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

10.1007/978-3-642-20551-4_1 ◽

2011 ◽

pp. 1-20 ◽

Cited By ~ 3

Author(s):

Olivier Danvy ◽

Ian Zerny

Keyword(s):

Graph Reduction ◽

Syntactic Theories

Download Full-text

MikiBeta : A General GUI Library for Visualizing Proof Trees

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

10.1007/978-3-642-20551-4_6 ◽

2011 ◽

pp. 84-98 ◽

Cited By ~ 2

Author(s):

Kanako Sakurai ◽

Kenichi Asai

Download Full-text

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System

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

10.1007/978-3-642-20551-4_3 ◽

2011 ◽

pp. 37-51 ◽

Cited By ~ 5

Author(s):

Jónathan Heras ◽

Vico Pascual ◽

Julio Rubio

Keyword(s):

Simplicial Sets

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Abstract Diagnosis of First Order Functional Logic Programs

On Inductive Proofs by Extended Unfold/Fold Transformation Rules

Non-termination Analysis of Logic Programs Using Types

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation

Verification of the Schorr-Waite Algorithm – From Trees to Graphs

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut

Scaling Up Algorithmic Debugging with Virtual Execution Trees

Three Syntactic Theories for Combinatory Graph Reduction

MikiBeta : A General GUI Library for Visualizing Proof Trees

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System

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