Opening book details…
Can I read Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024) on EtoBox?
Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024) by Herbert Kuchen (editor), Kazunori Ueda (editor) is a computer science book available to read on EtoBox.
What is Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024) about?
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.
Who reads Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Herbert Kuchen (editor), Kazunori Ueda (editor)
- Publisher
- Springer Spektrum. in Springer-Verlag GmbH
- Published
- 2001
- Language
- EN
- ISBN
- 9783540417392
- Category
- computer science
- Subjects
- Science, Programming, Computer Science
- Updated
- 2026-03-25
Other editions & translations
- Lecture Notes in Computer Science 2024 Functional and Logic Programming 5th International Symposium,FLOPS 2001 Tokyo,Japan,March 7-9,2001 (2001)
- Functional And Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (lecture Notes In Computer Science) (2001)
More by Herbert Kuchen (editor), Kazunori Ueda (editor)
Browse all works by Herbert Kuchen (editor), Kazunori Ueda (editor)
Similar books
- Functional And Logic Programming: 6th International Symposium, Flops 2002, Aizu, Japan, September 15-17, 2002. Proceedings (lecture Notes In Computer Science) — Kokichi Futatsugi (auth.), Zhenjiang Hu, Mario Rodríguez-Artalejo (2002)
- Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (Lecture Notes in Computer Science (8475)) — Michael Codish and Eijiro Sumii (2014)
- Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings (Lecture Notes in Computer Science, 1722) — J. C. González-Moreno, M. T. Hortalá-González (auth.), Aart Middeldorp, Taisuke Sato (1999)
- Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science (4762)) — Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (2007)
- Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings (Lecture Notes in Computer Science) — Werner Römisch (auth.), Osamu Watanabe, Thomas Zeugmann (2009)
- Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings (lecture Notes In Computer Science) — Oliver Rüthing (auth.), Giorgio Levi (1998)