Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hu, Zhenjiang (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rodriquez-Artalejo, Mario (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2441
• Θέματα: Computer programming.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Artificial Intelligence.

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

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