ENGLISH

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

By Gopalan Nadathur (auth.) , Herbert Kuchen , Kazunori Ueda (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2001
ISBN
978-3-540-41739-2, 978-3-540-44716-0, 3-540-41739-7
DOI
10.1007/3-540-44716-4
Language
english
Format
PDF
Filesize
11 MB (12021829 bytes)
Series
Lecture Notes in Computer Science 2024
Edition
1
Pages
398\400
Time added
2014-01-18 08:00:00
CompilersInterpreters; Logics and Meanings of Programs; ArtProgramming Techniques; Programming Languages

Description

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.

Similar books