Cantitate/Preț
Produs

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers: Lecture Notes in Computer Science, cartea 5979

Editat de Santiago Escobar
en Limba Engleză Paperback – apr 2010

Din seria Lecture Notes in Computer Science

Preț: 31562 lei

Preț vechi: 39453 lei
-20% Nou

Puncte Express: 473

Preț estimativ în valută:
6041 6372$ 5034£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642119989
ISBN-10: 3642119980
Pagini: 192
Ilustrații: IX, 179 p. 35 illus.
Greutate: 0.3 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

Invited Papers.- Programming with Multiple Paradigms in Lua.- Constraint Based Strategies.- Contributed Papers.- Integrating ILOG CP Technology into .- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.- Semantic Labelling for Proving Termination of Combinatory Reduction Systems.- A Taxonomy of Some Right-to-Left String-Matching Algorithms.- Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.- Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.- New Results on Type Systems for Functional Logic Programming.- A Simple Region Inference Algorithm for a First-Order Functional Language.- A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.

Caracteristici

State of the art papers Selected papers of conference proceedings