Logic Program Synthesis and Transformation - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer London

9783540198642, 9781447132349

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Power of Partial Evaluation

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3234-9_11 ◽

1994 ◽

pp. 113-123 ◽

Author(s):

D. A. de Waal

Keyword(s):

Partial Evaluation

Download Full-text

Toward the Synthesis of Constraint Propagation Algorithms

Logic Program Synthesis and Transformation - Workshops in Computing ◽

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

1994 ◽

pp. 1-9 ◽

Author(s):

Douglas R. Smith

Keyword(s):

Constraint Propagation

Download Full-text

Using Abstract Interpretation for Goal Replacement

Logic Program Synthesis and Transformation - Workshops in Computing ◽

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

1994 ◽

pp. 210-228 ◽

Author(s):

Dmitri Boulanger ◽

Maurice Bruynooghe

Keyword(s):

Abstract Interpretation

Download Full-text

Induction of Prolog programs with Markus

Logic Program Synthesis and Transformation - Workshops in Computing ◽

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

1994 ◽

pp. 57-63 ◽

Author(s):

Marko Grobelnik

Keyword(s):

Prolog Programs

Download Full-text

Specialising the Ground Representation in the Logic Programming Language Gödel

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3234-9_12 ◽

1994 ◽

pp. 124-140 ◽

Author(s):

C. A. Gurr

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Combining Prolog Programs in a Techniques Editing System (Abstract)

Logic Program Synthesis and Transformation - Workshops in Computing ◽

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

1994 ◽

pp. 82-84

Author(s):

María Vargas-Vera ◽

Dave Robertson ◽

Robert Inder

Keyword(s):

Prolog Programs

Download Full-text

A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3234-9_6 ◽

1994 ◽

pp. 64-66

Author(s):

Peter Madden ◽

Jane Hesketh ◽

Ian Green ◽

Alan Bundy

Keyword(s):

General Technique ◽

Download Full-text

A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs

Logic Program Synthesis and Transformation - Workshops in Computing ◽

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

1994 ◽

pp. 10-31 ◽

Author(s):

Kung-Kiu Lau ◽

Mario Ornaghi

Keyword(s):

Logic Programs ◽

Deductive Synthesis

Download Full-text

Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedures: Some Experiments

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3234-9_19 ◽

1994 ◽

pp. 229-245 ◽

Author(s):

Pierre De Boeck ◽

Baudouin Le Charlier

Keyword(s):

Mechanical Transformation ◽

Type Information

Download Full-text

A Transformation Based on the Equality between Terms

Logic Program Synthesis and Transformation - Workshops in Computing ◽

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

1994 ◽

pp. 162-176 ◽

Author(s):

Ulrich Neumerkel

Download Full-text