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) on EtoBox?
Functional And Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (lecture Notes In Computer Science) by Gopalan Nadathur (auth.), Herbert Kuchen, Kazunori Ueda (eds.) is a nonfiction 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) 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)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Gopalan Nadathur (auth.), Herbert Kuchen, Kazunori Ueda (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2001
- Language
- EN
- ISBN
- 9783540417392
- Category
- nonfiction
- Subjects
- Science, Programming, Computer Science
Other editions & translations
- Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024) (2001)
- Lecture Notes in Computer Science 2024 Functional and Logic Programming 5th International Symposium,FLOPS 2001 Tokyo,Japan,March 7-9,2001 (2001)
More by Gopalan Nadathur (auth.), Herbert Kuchen, Kazunori Ueda (eds.)
Browse all works by Gopalan Nadathur (auth.), Herbert Kuchen, Kazunori Ueda (eds.)
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)