Practical Aspects of Declarative Languages
Editat de Pascal Van Hentenrycken Limba Engleză Paperback – 19 dec 2005
Preț: 318.51 lei
Preț vechi: 398.15 lei
-20% Nou
Puncte Express: 478
Preț estimativ în valută:
56.35€ • 65.75$ • 49.27£
56.35€ • 65.75$ • 49.27£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540309475
ISBN-10: 3540309470
Pagini: 248
Ilustrații: X, 234 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540309470
Pagini: 248
Ilustrații: X, 234 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.- Generic Cut Actions for External Prolog Predicates.- Controlling Search Space Materialization in a Practical Declarative Debugger.- Automatic Verification of a Model Checker by Reflection.- Probabilistic-Logical Modeling of Music.- Using Dominators for Solving Constrained Path Problems.- JQuery: A Generic Code Browser with a Declarative Configuration Language.- A Hybrid BDD and SAT Finite Domain Constraint Solver.- Adding Constraint Solving to Mercury.- Modeling Genome Evolution with a DSEL for Probabilistic Programming.- Tabling in Mercury: Design and Implementation.- Translating Description Logic Queries to Prolog.- Efficient Top-Down Set-Sharing Analysis Using Cliques.- Querying Complex Graphs.- Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.