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

9783540714095, 9783540714101

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator

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

10.1007/978-3-540-71410-1_14 ◽

2007 ◽

pp. 194-209 ◽

Cited By ~ 1

Author(s):

Étienne Payet

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Unfolding Operator

Download Full-text

A Program Transformation for Tracing Functional Logic Computations

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

10.1007/978-3-540-71410-1_12 ◽

2007 ◽

pp. 160-176

Author(s):

Bernd Brassel ◽

Sebastian Fischer ◽

Frank Huch

Keyword(s):

Program Transformation ◽

Functional Logic

Download Full-text

ARM: Automatic Rule Miner

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

10.1007/978-3-540-71410-1_3 ◽

2007 ◽

pp. 17-25

Author(s):

Slim Abdennadher ◽

Abdellatif Olama ◽

Noha Salem ◽

Amira Thabet

Download Full-text

Constructing Consensus Logic Programs

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

10.1007/978-3-540-71410-1_4 ◽

2007 ◽

pp. 26-42 ◽

Cited By ~ 5

Author(s):

Chiaki Sakama ◽

Katsumi Inoue

Keyword(s):

Logic Programs

Download Full-text

How to Talk to a Human: The Semantic Web and the Clash of the Titans

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

10.1007/978-3-540-71410-1_1 ◽

2007 ◽

pp. 1-14 ◽

Cited By ~ 1

Author(s):

Massimo Marchiori

Keyword(s):

Semantic Web

Download Full-text

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

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

10.1007/978-3-540-71410-1_5 ◽

2007 ◽

pp. 43-59 ◽

Cited By ~ 2

Author(s):

Michael Leuschel ◽

Stephen-John Craig ◽

Dan Elphick

Keyword(s):

Partial Evaluation ◽

Logic Programs

Download Full-text

CHESS: Systematic Stress Testing of Concurrent Software

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

10.1007/978-3-540-71410-1_2 ◽

2007 ◽

pp. 15-16 ◽

Cited By ~ 19

Author(s):

Madan Musuvathi ◽

Shaz Qadeer

Keyword(s):

Stress Testing ◽

Concurrent Software

Download Full-text

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

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

10.1007/978-3-540-71410-1_6 ◽

2007 ◽

pp. 60-76 ◽

Cited By ~ 5

Author(s):

Gustavo Arroyo ◽

J. Guadalupe Ramos ◽

Josep Silva ◽

Germán Vidal

Keyword(s):

Partial Evaluation ◽

Size Change

Download Full-text

Towards Description and Optimization of Abstract Machines in an Extension of Prolog

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

10.1007/978-3-540-71410-1_7 ◽

2007 ◽

pp. 77-93 ◽

Cited By ~ 1

Author(s):

José F. Morales ◽

Manuel Carro ◽

Manuel Hermenegildo

Keyword(s):

Abstract Machines

Download Full-text

Grids: A Domain for Analyzing the Distribution of Numerical Values

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

10.1007/978-3-540-71410-1_16 ◽

2007 ◽

pp. 219-235 ◽

Cited By ~ 5

Author(s):

Roberto Bagnara ◽

Katy Dobson ◽

Patricia M. Hill ◽

Matthew Mundell ◽

Enea Zaffanella

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator

A Program Transformation for Tracing Functional Logic Computations

ARM: Automatic Rule Miner

Constructing Consensus Logic Programs

How to Talk to a Human: The Semantic Web and the Clash of the Titans

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

CHESS: Systematic Stress Testing of Concurrent Software

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

Towards Description and Optimization of Abstract Machines in an Extension of Prolog

Grids: A Domain for Analyzing the Distribution of Numerical Values

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