Zhenjiang Hu / Mario Rodriquez-Artalejo (eds.)

Functional and Logic Programming

6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Herausgegeben:Hu, Zhenjiang; Rodriquez-Artalejo, Mario

• Broschiertes Buch

Produktbeschreibung

This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15 17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12 14. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular, it aims to stimulate the cro- fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), and Tokyo (2001). The proceedings of FLOPS 99 and FLOPS 2001 were published by Springer-Verlag as Lecture Notes in Computer Science, Vols. 1722 and 2024, respectively. There were 27 submissions, and these came from Australia (1), Brazil (1), 1 China (1), Denmark (2), Germany (1 ), Italy (1), Japan (6), Korea (1),Por- 2 2 1 1 tugal (2), Russia ( ), Spain (6), Sweden (1), the UK (2 ), and the USA ( ).

Produktdetails

• Lecture Notes in Computer Science 2441
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 10870960, 978-3-540-44233-2
• 2002
• Seitenzahl: 320
• Erscheinungstermin: 2. September 2002
• Englisch
• Abmessung: 235mm x 155mm x 18mm
• Gewicht: 454g
• ISBN-13: 9783540442332
• ISBN-10: 3540442332
• Artikelnr.: 23384705

Autorenporträt

Zhenjiang Hu, University of Tokyo, Japan / Mario Rodriquez-Artalejo, Universidad Complutense de Madrid, Spain

Inhaltsangabe

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.