Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings
Peter Selinger (auth.), Yukiyoshi Kameyama, Peter J. Stuckey (eds.)This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004.
The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
الفئات:
عام:
2004
الإصدار:
1
الناشر:
Springer-Verlag Berlin Heidelberg
اللغة:
english
الصفحات:
307
ISBN 10:
3540247548
ISBN 13:
9783540247548
سلسلة الكتب:
Lecture Notes in Computer Science 2998
ملف:
PDF, 2.60 MB
IPFS:
,
english, 2004