Logic Program Synthesis and Transformation - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540197423, 9781447134947

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis and Transformation of Logic Programs from Constructive, Inductive Proof

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_3 ◽

1992 ◽

pp. 27-45 ◽

Cited By ~ 4

Author(s):

Geraint Wiggins ◽

Ina Kraan ◽

Alan Bundy ◽

Jane Hesketh

Keyword(s):

Logic Programs ◽

Inductive Proof

Download Full-text

Query Optimisation In An Object-Oriented Database Using Prolog

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_24 ◽

1992 ◽

pp. 332-333

Author(s):

Zhuoan Jiao ◽

Peter M. D. Gray

Keyword(s):

Object Oriented ◽

Query Optimisation ◽

Object Oriented Database

Download Full-text

Formal validation of transformation schemata

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_8 ◽

1992 ◽

pp. 97-110 ◽

Cited By ~ 2

Author(s):

Mattias Waldau

Keyword(s):

Formal Validation

Download Full-text

Formal Program Development in Modular Prolog : A Case Study

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_6 ◽

1992 ◽

pp. 69-93 ◽

Cited By ~ 4

Author(s):

M. G. Read ◽

E. A. Kazmierczak

Keyword(s):

Program Development ◽

Formal Program

Download Full-text

Towards Stepwise, Schema-Guided Synthesis of Logic Programs

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_4 ◽

1992 ◽

pp. 46-64 ◽

Cited By ~ 4

Author(s):

Pierre Flener ◽

Yves Deville

Keyword(s):

Logic Programs

Download Full-text

Non-Determinism and Lazy Evaluation in Logic Programming

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_23 ◽

1992 ◽

pp. 318-331 ◽

Cited By ~ 4

Author(s):

Sergio Antoy

Keyword(s):

Logic Programming ◽

Lazy Evaluation

Download Full-text

A Method for the Determinisation of Propositional Temporal Formulae

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_20 ◽

1992 ◽

pp. 276-296 ◽

Cited By ~ 1

Author(s):

Philippe Noel

Download Full-text

Prolog Program Transformations and Meta-Interpreters

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_17 ◽

1992 ◽

pp. 238-251 ◽

Cited By ~ 1

Author(s):

Anne Parrain ◽

Philippe Devienne ◽

Patrick Lebegue

Keyword(s):

Program Transformations ◽

Prolog Program

Download Full-text

Pruning Operators for Partial Evaluation

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_14 ◽

1992 ◽

pp. 183-204

Author(s):

P. M. Hill

Keyword(s):

Partial Evaluation

Download Full-text

Speed-up Transformations of Logic Programs by Abstraction and Learning

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3494-7_13 ◽

1992 ◽

pp. 167-182 ◽

Cited By ~ 1

Author(s):

Jutta Eusterbrock

Keyword(s):

Logic Programs ◽

Speed Up

Download Full-text

Logic Program Synthesis and Transformation - Workshops in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Synthesis and Transformation of Logic Programs from Constructive, Inductive Proof

Query Optimisation In An Object-Oriented Database Using Prolog

Formal validation of transformation schemata

Formal Program Development in Modular Prolog : A Case Study

Towards Stepwise, Schema-Guided Synthesis of Logic Programs

Non-Determinism and Lazy Evaluation in Logic Programming

A Method for the Determinisation of Propositional Temporal Formulae

Prolog Program Transformations and Meta-Interpreters

Pruning Operators for Partial Evaluation

Speed-up Transformations of Logic Programs by Abstraction and Learning

Logic Program Synthesis and Transformation - Workshops in Computing
Latest Publications