Logic Program Synthesis and Transformation - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer London

9783540198062, 9781447135609

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis of Narrowing Programs

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_3 ◽

1993 ◽

pp. 30-45

Author(s):

Carlos Loría-Sáenz

Download Full-text

Deductive Synthesis of Programs for Query Answering

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_2 ◽

1993 ◽

pp. 15-29

Author(s):

Daniele Nardi ◽

Riccardo Rosati

Keyword(s):

Query Answering ◽

Deductive Synthesis

Download Full-text

Logimix: A Self-Applicable Partial Evaluator for Prolog

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_15 ◽

1993 ◽

pp. 214-227 ◽

Author(s):

Torben Æ. Mogensen ◽

Anders Bondorf

Download Full-text

Proof Nets

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_5 ◽

1993 ◽

pp. 61-79

Author(s):

Mario Ornaghi

Keyword(s):

Download Full-text

Efficient Compilation of Lazy Narrowing into Prolog

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_18 ◽

1993 ◽

pp. 253-270 ◽

Author(s):

José Andrés Jiménez-Martín ◽

Julio Mariño-Carballo ◽

Juan José Moreno-Navarro

Download Full-text

Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_16 ◽

1993 ◽

pp. 228-241

Author(s):

Anne Parrain ◽

Philippe Devienne ◽

Patrick Lebègue

Keyword(s):

Abstract Interpretation ◽

Prolog Programs

Download Full-text

Applications of Unfolding in Prolog Programming

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_13 ◽

1993 ◽

pp. 184-198

Author(s):

John Jones

Keyword(s):

Prolog Programming

Download Full-text

Logic Program Synthesis via Proof Planning

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_1 ◽

1993 ◽

pp. 1-14 ◽

Author(s):

Ina Kraan ◽

David Basin ◽

Alan Bundy

Keyword(s):

Logic Program ◽

Program Synthesis ◽

Download Full-text

A Rationalisation of the ATMS in Terms of Partial Evaluation

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_9 ◽

1993 ◽

pp. 118-131

Author(s):

Evelina Lamma ◽

Paola Mello

Keyword(s):

Partial Evaluation

Download Full-text

Deriving Transformations of Logic Programs Using Abstract Interpretation

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3560-9_8 ◽

1993 ◽

pp. 99-117 ◽

Author(s):

Dmitri Boulanger ◽

Maurice Bruynooghe

Keyword(s):

Abstract Interpretation ◽

Download Full-text