Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
| Author/creator | Blume, Matthias Editor |
| Other author | Kobayashi, Naoki Editor |
| Other author | Vidal, Germán Editor |
| Other author | ACM Digital Library. |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | xi, 355 p. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2010 English International |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from ACM Digital Library |
| Subjects |
| Series | Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser. |
| Summary | Annotation This book constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on types; program analysis and transformation; foundations; logic programming; evaluation and normalization; term rewriting; and parallelism and control. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783642122507 |
| ISBN | 3642122507 (Trade Paper) Active Record |
| Standard identifier# | 9783642122507 |
| Stock number | 3642122507 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |