zbMATH — the first resource for mathematics

Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15–17, 2002. Proceedings. (English) Zbl 0997.00028
Lecture Notes in Computer Science. 2441. Berlin: Springer. x, 305 p. (2002).

Show indexed articles as search result.

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

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N17 Logic programming
68N18 Functional programming and lambda calculus
Full Text: DOI