Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
WFLP 2009(2009 :Brasília, Brazil)
WFLP 2009
Escobar, Santiago.editor.(orcid)0000-0002-3550-4781https://orcid.org/0000-0002-3550-4781edt
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Mathematical logic.
Software engineering.
Computer logic.
Programming languages (Electronic computers).
Artificial intelligence.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
WFLP
Lecture notes in computer science