Functional and Logic Programming
6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Published on 2. September 2002
Book
Paperback/Softback
X, 310 pages
978-3-540-44233-2 (ISBN)
Description
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 ( ).
More details
Series
Edition
2002 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 310 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 18 mm
Weight
487 gr
ISBN-13
978-3-540-44233-2 (9783540442332)
DOI
10.1007/3-540-45788-7
Schweitzer Classification
Other editions
Additional editions
Zhenjiang Hu | Mario Rodriquez-Artalejo
Functional and Logic Programming
6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
E-Book
06/2003
Springer
€53.49
Available for download
Content
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.