Functional and Logic Programming | 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Manuel Hermenegildo (u. a.)

ISBN 10: 3540789685 / ISBN 13: 9783540789680

Published by Springer-Verlag GmbH, 2008

About this Item

Functional and Logic Programming | 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings | Manuel Hermenegildo (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2008 | Springer-Verlag GmbH | EAN 9783540789680 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Seller Inventory # 101831163

Bibliographic Details

• Title: Functional and Logic Programming | 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
• Publisher: Springer-Verlag GmbH
• Publication Date: 2008
• Language: English
• ISBN 10: 3540789685
• ISBN 13: 9783540789680
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 20D millimeters 235 millimeters width by 155 millimeters height by 20 millimeters depth
• Weight: 534 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. The 20 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, logic and lambda-calculus, types, and debugging.