Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers de Kung-Kiu Lau

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers: Lecture Notes in Computer Science, cartea 2042

Editat de Kung-Kiu Lau

en Limba Engleză Paperback – mai 2001

Din seria Lecture Notes in Computer Science

20%

Preț: 1061^.55 lei
20%

Preț: 307^.71 lei
20%

Preț: 438^.69 lei
20%

Preț: 579^.30 lei
Preț: 410^.88 lei
17%

Preț: 427^.22 lei
20%

Preț: 596^.46 lei
15%

Preț: 448^.04 lei
20%

Preț: 353^.50 lei
Preț: 389^.49 lei
20%

Preț: 309^.90 lei
20%

Preț: 645^.28 lei
20%

Preț: 763^.23 lei
15%

Preț: 580^.46 lei
20%

Preț: 310^.28 lei
20%

Preț: 655^.02 lei
20%

Preț: 1183^.14 lei
20%

Preț: 340^.32 lei
Preț: 449^.57 lei
20%

Preț: 591^.51 lei
18%

Preț: 938^.83 lei
20%

Preț: 337^.00 lei
20%

Preț: 649^.50 lei
20%

Preț: 607^.40 lei
20%

Preț: 1414^.79 lei
20%

Preț: 1024^.44 lei
20%

Preț: 583^.40 lei
20%

Preț: 453^.32 lei
20%

Preț: 575^.49 lei
20%

Preț: 1075^.26 lei
20%

Preț: 585^.88 lei
20%

Preț: 825^.93 lei
17%

Preț: 360^.20 lei
20%

Preț: 763^.23 lei
20%

Preț: 340^.32 lei
20%

Preț: 504^.58 lei
20%

Preț: 369^.13 lei
20%

Preț: 580^.93 lei
20%

Preț: 343^.62 lei
20%

Preț: 350^.21 lei
20%

Preț: 583^.40 lei
20%

Preț: 583^.40 lei
15%

Preț: 438^.59 lei
20%

Preț: 341^.95 lei
20%

Preț: 238^.01 lei
20%

Preț: 538^.30 lei

Preț: 327^.44 lei

Preț vechi: 409^.30 lei
-20% Nou

Puncte Express: 491

:
62^.66€ • 65^.18$ • 51^.73£

Carte tipărită la comandă

Livrare economică 12-26 aprilie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540421276
ISBN-10: 3540421270
Pagini: 196
Ilustrații: VIII, 188 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste