ENGLISH

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

By Michael Codish , Eijiro Sumii (eds.)

Book information

Publisher
Springer International Publishing
Year
2014
ISBN
978-3-319-07150-3, 978-3-319-07151-0
DOI
10.1007/978-3-319-07151-0
Language
english
Format
PDF
Filesize
4 MB (4561374 bytes)
Series
Lecture Notes in Computer Science 8475 Theoretical Computer Science and General Issues
Edition
1
Pages
353\367
Time added
2014-06-12 06:00:00
CompilersInterpreters; Mathematical Logic and Formal LanguaSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

Similar books