Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15--17, 2002. Proceedings (Q701690)

The articles of this volume will be reviewed individually. The preceding symposium (5th, 2001) has been reviewed (see Zbl 0958.00038). Indexed articles: \textit{Futatsugi, Kokichi}, Formal methods in CafeOBJ, 1-20 [Zbl 1019.68523] \textit{Siméon, Jérôme; Wadler, Philip}, The essence of XML (Preliminary version), 21-46 [Zbl 1019.68511] \textit{García de la Banda, María; Demoen, Bart; Marriott, Kim; Stuckey, Peter J.}, To the gates of HAL: A HAL tutorial, 47-66 [Zbl 1019.68514] \textit{Antoy, Sergio; Hanus, Michael}, Functional logic design patterns, 67-87 [Zbl 1019.68512] \textit{Meer, Klaus}, On consistency and width notions for constraint programs with algebraic constraints, 88-102 [Zbl 1019.68516] \textit{García-Díaz, Miguel; Nieva, Susana}, Solving mixed quantified constraints over a domain based on \({\mathcal R}\)eal numbers and \({\mathcal H}\)erbrand terms, 103-118 [Zbl 1019.68017] \textit{Iranzo, Pascual Julián}, On the correctness of the factoring transformation, 119-133 [Zbl 1019.68515] \textit{Danvy, Olivier; Schultz, Ulrik P.}, Lambda-lifting in quadratic time, 134-151 [Zbl 1019.68522] \textit{Loyer, Yann; Straccia, Umberto}, The well-founded semantics in normal logic programs with uncertainty, 152-166 [Zbl 1019.68019] \textit{Hasegawa, Masahito}, Linearly used effects: Monadic and CPS transformations into the linear lambda calculus, 167-182 [Zbl 1019.68020] \textit{Barbosa, Luís Soares; Oliveira, José Nuno}, Coinductive interpreters for process calculi, 183-197 [Zbl 1019.68519] \textit{Kasuya, Hideto; Sakai, Masahiko; Agusa, Kiyoshi}, Descendants and head normalization of higher-order rewrite systems, 198-211 [Zbl 1019.68049] \textit{López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime}, Narrowing failure in functional logic programming, 212-227 [Zbl 1019.68018] \textit{Pettersson, Mikael; Sagonas, Konstantinos; Johansson, Erik}, The HiPE/x86 Erlang compiler: System description and performance evaluation, 228-244 [Zbl 1019.68521] \textit{Caballero, Rafael; López-Fraguas, Francisco Javier}, Dynamic-cut with definitional trees, 245-258 [Zbl 1019.68513] \textit{Smaus, Jan-Georg}, The head condition and polymorphic recursion, 259-274 [Zbl 1019.68518] \textit{Porto, António}, Structural abstraction and application in logic programming, 275-289 [Zbl 1019.68517] \textit{Sumii, Eijiro; Bannai, Hideo}, VM\(\lambda\): A functional calculus for scientific discovery, 290-304 [Zbl 1019.68520]