Functional and Logic Programming

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Michael Codish Eijiro Sumii 

I S B N：(纸本) 9783319071503 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XVI, 353页

主 题 词：Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Programming Techniques 

摘      要：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.