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

9783540421276, 9783540451426

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-Order Transformation of Logic Programs

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

10.1007/3-540-45142-0_4 ◽

2001 ◽

pp. 57-68 ◽

Cited By ~ 3

Author(s):

Silvija Seres ◽

Michael Spivey

Keyword(s):

Higher Order ◽

Logic Programs

Download Full-text

A Technique for Modular Logic Program Refinement

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

10.1007/3-540-45142-0_3 ◽

2001 ◽

pp. 38-56 ◽

Cited By ~ 2

Author(s):

Robert Colvin ◽

Ian Hayes ◽

Paul Strooper

Keyword(s):

Logic Program ◽

Modular Logic

Download Full-text

A Model for Inter-module Analysis and Optimizing Compilation

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

10.1007/3-540-45142-0_6 ◽

2001 ◽

pp. 86-102 ◽

Cited By ~ 12

Author(s):

Francisco Bueno ◽

Manuel Hermenegildo ◽

Germán Puebla ◽

María García de la Banda ◽

Kim Marriott ◽

...

Keyword(s):

Module Analysis

Download Full-text

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages

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

10.1007/3-540-45142-0_7 ◽

2001 ◽

pp. 103-124 ◽

Cited By ~ 6

Author(s):

Elvira Albert ◽

Germán Vidal ◽

Sergio Antoy

Keyword(s):

Partial Evaluation ◽

Functional Logic

Download Full-text

Measuring the Precision of Abstract Interpretations

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

10.1007/3-540-45142-0_9 ◽

2001 ◽

pp. 147-164 ◽

Cited By ~ 14

Author(s):

Alessandra Di Pierro ◽

Herbert Wiklicky

Download Full-text

Automated Strategies for Specializing Constraint Logic Programs

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

10.1007/3-540-45142-0_8 ◽

2001 ◽

pp. 125-146 ◽

Cited By ~ 10

Author(s):

Fabio Fioravanti ◽

Maurizio Proietti ◽

Alberto Pettorossi

Keyword(s):

Logic Programs ◽

Constraint Logic Programs

Download Full-text

Specifying Prolog Trace Models with a Continuation Semantics

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

10.1007/3-540-45142-0_10 ◽

2001 ◽

pp. 165-181 ◽

Cited By ~ 1

Author(s):

Erwan Jahier ◽

Mireille Ducassé ◽

Olivier Ridoux

Download Full-text

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings

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

10.1007/3-540-45142-0_5 ◽

2001 ◽

pp. 69-85 ◽

Cited By ~ 4

Author(s):

Alexander Serebrenik ◽

Danny De Schreye

Keyword(s):

General Term ◽

Logic Programs ◽

Termination Analysis

Download Full-text

A Formal Framework for Synthesis and Verification of Logic Programs

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

10.1007/3-540-45142-0_1 ◽

2001 ◽

pp. 1-17 ◽

Cited By ~ 1

Author(s):

Alessandro Avellone ◽

Mauro Ferrari ◽

Camillo Fiorentini

Keyword(s):

Logic Programs ◽

Formal Framework

Download Full-text

Protocols between Programs and Proofs

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

10.1007/3-540-45142-0_2 ◽

2001 ◽

pp. 18-37 ◽

Cited By ~ 1

Author(s):

Iman Poernomo ◽

John N. Crossley

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Higher-Order Transformation of Logic Programs

A Technique for Modular Logic Program Refinement

A Model for Inter-module Analysis and Optimizing Compilation

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages

Measuring the Precision of Abstract Interpretations

Automated Strategies for Specializing Constraint Logic Programs

Specifying Prolog Trace Models with a Continuation Semantics

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings

A Formal Framework for Synthesis and Verification of Logic Programs

Protocols between Programs and Proofs

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