Practical Aspects of Declarative Languages
Editat de Pascal Van Hentenrycken Limba Engleză Paperback – 19 dec 2005
Preț: 319.49 lei
Preț vechi: 399.37 lei
-20%
Puncte Express: 479
Carte tipărită la comandă
Livrare economică 24 iulie-07 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.