Functional and Logic Programming [electronic resource] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / edited by Michael Codish, Eijiro Sumii.
Contributor(s): Codish, Michael [editor.] | Sumii, Eijiro [editor.] | SpringerLink (Online service).
Material type: BookSeries: Theoretical Computer Science and General Issues: 8475Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Edition: 1st ed. 2014.Description: XVI, 353 p. 81 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319071510.Subject(s): Software engineering | Computer science | Compilers (Computer programs) | Machine theory | Artificial intelligence | Computer programming | Software Engineering | Computer Science Logic and Foundations of Programming | Compilers and Interpreters | Formal Languages and Automata Theory | Artificial Intelligence | Programming TechniquesAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online In: Springer Nature eBookSummary: 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.No physical items for this record
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.
There are no comments for this item.