1 option
Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / edited by Julio Marino.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 6559.
- Theoretical Computer Science and General Issues ; 6559
- Language:
- English
- Subjects (All):
- Computer logic.
- Logic, Symbolic and mathematical.
- Programming languages (Electronic computers).
- Artificial intelligence.
- Computer science--Mathematics.
- Computer science.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Programming Languages, Compilers, Interpreters.
- Artificial Intelligence.
- Symbolic and Algebraic Manipulation.
- Local Subjects:
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Programming Languages, Compilers, Interpreters.
- Artificial Intelligence.
- Symbolic and Algebraic Manipulation.
- Physical Description:
- 1 online resource (IX, 175 pages).
- Edition:
- First edition 2011.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
- System Details:
- text file PDF
- Summary:
- This book contains a selection of the 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-20775-4
- 9783642207754
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.