Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Escobar, Santiago (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 5979
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).

Πίνακας περιεχομένων:

• 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.