Cantitate/Preț
Produs

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings: Lecture Notes in Computer Science, cartea 4902

Editat de Paul Hudak, David S. Warren
en Limba Engleză Paperback – 18 dec 2007

Din seria Lecture Notes in Computer Science

Preț: 32944 lei

Preț vechi: 41180 lei
-20% Nou

Puncte Express: 494

Preț estimativ în valută:
6307 6556$ 5229£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540774419
ISBN-10: 3540774416
Pagini: 350
Ilustrații: X, 342 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.52 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Industrial Functional Programming.- Certified Development Tools Implementation in Objective Caml.- Automatic Coding Rule Conformance Checking Using Logic Programming.- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning.- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.- Flexible, Rule-Based Constraint Model Linearisation.- The Role of Abduction in Declarative Authorization Policies.- Unification of Arrays in Spreadsheets with Logic Programming.- Specialising Simulator Generators for High-Performance Monte-Carlo Methods.- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.- Matchete: Paths through the Pattern Matching Jungle.- Parser Combinators for Ambiguous Left-Recursive Grammars.- DCGs + Memoing = Packrat Parsing but Is It Worth It?.- An Improved Continuation Call-Based Implementation of Tabling.- Scheduling Light-Weight Parallelism in ArTCoP.- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.- Hierarchical Master-Worker Skeletons.- High-Level Multi-threading Programming in Logtalk.- Switched-On Yampa.- Model-Based Testing of Thin-Client Web Applications and Navigation Input.- High-Level Database Programming in Curry.