Logic Program Synthesis and Transformation
Editat de Norbert E. Fuchsen Limba Engleză Paperback – 9 sep 1998
Preț: 323.83 lei
Preț vechi: 404.79 lei
-20% Nou
Puncte Express: 486
Preț estimativ în valută:
57.31€ • 67.21$ • 50.25£
57.31€ • 67.21$ • 50.25£
Carte tipărită la comandă
Livrare economică 26 ianuarie-09 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540650744
ISBN-10: 3540650741
Pagini: 352
Ilustrații: X, 343 p. 11 illus., 2 illus. in color.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.53 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540650741
Pagini: 352
Ilustrații: X, 343 p. 11 illus., 2 illus. in color.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.53 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
A Multi-level Approach to Program Synthesis.- Programs Without Failures.- Generalised Logic Program Transformation Schemas.- Logic Program Schemas, Constraints, and Semi-unification.- Implicit Program Synthesis by a Reversible Metainterpreter.- Termination Analysis for Tabled Logic Programming.- On Correct Program Schemas.- Analysis of Logic Programs with Delay.- Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs.- Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract).- Unfolding the Mystery of Mergesort.- Towards a Logic for Reasoning About Logic Programs Transformation.- A Higher Order Reconstruction of Stepwise Enhancement.- Development of Correct Transformation Schemata for Prolog Programs.- Constrained Regular Approximation of Logic Programs.- A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories.- To Parse or Not To Parse.