Functional and Constraint Logic Programming

18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

192 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783642119989
• Sprache: Englisch
• Erscheinungsdatum: 01.04.2010
• Größe: 235 x 155 mm
• Verlag: Springer Spektrum
• Herausgegeben von: Santiago Escobar