Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Description
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.
Keywords
ComputersSoftware Development & EngineeringProgrammingLanguagesMathematicsLogicArtificial IntelligenceInformation TechnologyDiscrete Mathematics
2012Book
Author(s)Tom Schrijvers
PublisherSpringer Berlin Heidelberg
ISBN9783642298219
LanguageEnglish
