Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7–9, 2001. Proceedings. (English) Zbl 0958.00038

Lecture Notes in Computer Science. 2024. Berlin: Springer. x, 391 p. (2001).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium (4th, 1999) has been reviewed (see Zbl 0929.00068).
Indexed articles:
Nadathur, Gopalan, The metalanguage \(\lambda\)Prolog and its implementation, 1-20 [Zbl 0977.68508]
Necula, George C., A scalable architecture for proof-carrying code, 21-39 [Zbl 0977.68598]
Sato, Taisuke, Parameterized logic programs where computing meets learning, 40-60 [Zbl 0977.68507]
Polakow, Jeff; Yi, Kwangkeun, Proving syntactic properties of exceptions in an ordered logical framework, 61-77 [Zbl 0977.68523]
Danvy, Olivier; Nielsen, Lasse R., A higher-order colon translation, 78-91 [Zbl 0977.68009]
Choi, Kwanghoon; Lim, Hyun-il; Han, Taisook, Compiling lazy functional programs based on the spineless tagless G-machine for the Java virtual machine, 92-107 [Zbl 0977.68516]
Leach, Javier; Nieva, Susana, A higher-order logic programming language with constraints, 108-122 [Zbl 0977.68012]
Delzanno, Giorgio, Specifying and debugging security protocols via hereditary Harrop formulas and \(\lambda\)Prolog – a case-study, 123-137 [Zbl 0977.68526]
Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio, An effective bottom-up semantics for first-order linear logic programs, 138-152 [Zbl 0987.68857]
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio, A framework for goal-directed bottom-up evaluation of functional logic programs, 153-169 [Zbl 0977.68580]
Caballero, Rafael; López-Fraguas, Francisco J.; Rodríguez-Artalejo, Mario, Theoretical foundations for the declarative debugging of lazy functional logic programs, 170-184 [Zbl 0977.68510]
Lux, Wolfgang, Adding linear constraints over real numbers to Curry, 185-200 [Zbl 0977.68602]
Suzuki, Taro; Middeldorp, Aart, A complete selection function for lazy conditional narrowing, 201-215 [Zbl 0977.68048]
Hortalá-González, Teresa; Ullán, Eva, An abstract machine based system for a lazy narrowing calculus, 216-232 [Zbl 0987.68855]
Ferri-Ramírez, C.; Hernández-Orallo, J.; Ramírez-Quintana, M. J., Incremental learning of functional logic programs, 233-247 [Zbl 0977.68680]
Sulzmann, Martin, A general type inference framework for Hindley/Milner style systems, 248-263 [Zbl 0977.68519]
Kagawa, Koji, Monadic encapsulation with stack of regions, 264-279 [Zbl 0987.68853]
Deransart, Pierre; Smaus, Jan-Georg, Well-typed logic programs are not wrong, 280-295 [Zbl 0977.68509]
Lagoon, Vitaly; Stuckey, Peter J., A framework for analysis of typed logic programs, 296-310 [Zbl 1037.68032]
Amato, Gianluca; Spoto, Fausto, Abstract compilation for sharing analysis, 311-325 [Zbl 1037.68027]
Albert, Elvira; Hanus, Michael; Vidal, Germán, A practical partial evaluator for a multi-paradigm declarative language, 326-342 [Zbl 0977.68593]
Danvy, Olivier; Rhiger, Morten, A simple take on typed abstract syntax in Haskell-like languages, 343-358 [Zbl 0977.68506]
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi, A simply typed context calculus with first-class environments, 359-374 [Zbl 0979.03014]
Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob, Refining the Barendregt cube using parameters, 375-389 [Zbl 1037.03008]


00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science


Zbl 0929.00068
Full Text: DOI