Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar.
Material type: TextSeries: Lecture Notes in Computer Science ; 5979Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: IX, 179p. 35 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642119996Subject(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Mathematical Logic and Formal Languages | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Artificial Intelligence (incl. Robotics)Additional physical formats: Printed edition:: No titleDDC classification: 005.131 LOC classification: QA8.9-QA10.3Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK8958 |
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.
There are no comments on this title.