Functional and Constraint Logic Programming

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Julio Mariño 

I S B N：(纸本) 9783642207747 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：IX, 175页

主 题 词：Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence Symbolic and Algebraic Manipulation 

摘      要：This book contains a selection of revised papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.