Functional and Logic Programming [electronic resource] : 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings / edited by Zhenjiang Hu, Mario Rodríguez-Artalejo.
Material type: TextSeries: Lecture Notes in Computer Science ; 2441Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Description: X, 310 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540457886Subject(s): Computer science | Logic design | Artificial intelligence | Computer Science | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Artificial Intelligence (incl. Robotics)Additional physical formats: Printed edition:: No titleDDC classification: 005.11 LOC classification: QA76.6-76.66Online 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 | EBK5579 |
Invited Papers -- Formal Methods in CafeOBJ -- The Essence of XML (Preliminary Version) -- To the Gates of HAL: A HAL Tutorial -- Tutorial Paper -- Functional Logic Design Patterns -- Constraints -- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints -- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms -- Program Transformation and Analysis -- On the Correctness of the Factoring Transformation -- Lambda-Lifting in Quadratic Time -- Semantics -- The Well-Founded Semantics in Normal Logic Programs with Uncertainty -- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus -- Coinductive Interpreters for Process Calculi -- Rewriting -- Descendants and Head Normalization of Higher-Order Rewrite Systems -- Narrowing Failure in Functional Logic Programming -- Compilation Techniques -- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation -- Dynamic-Cut with Definitional Trees -- Programming Methodology -- The Head Condition and Polymorphic Recursion -- Structural Abstraction and Application in Logic Programming -- VM?: A Functional Calculus for Scientific Discovery.
There are no comments on this title.