|
" Functional and constraint logic programming : "
Julio Mariño (edition)
Document Type
|
:
|
BL
|
Record Number
|
:
|
604899
|
Doc. No
|
:
|
b434118
|
Main Entry
|
:
|
WFLP 2010(2010 :, Madrid, Spain)
|
Title & Author
|
:
|
Functional and constraint logic programming : : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers /\ Julio Mariño (edition)
|
Series Statement
|
:
|
Lecture notes in computer science,; 6559
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
Page. NO
|
:
|
1 online resource (viii, 173 pages)
|
ISBN
|
:
|
9783642207754
|
|
:
|
: 3642207758
|
|
:
|
9783642207747
|
|
:
|
364220774X
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index
|
Abstract
|
:
|
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
|
Subject
|
:
|
Logic programming, Congresses
|
Subject
|
:
|
Mathematical Logic and Formal Languages
|
Dewey Classification
|
:
|
005.1/15
|
LC Classification
|
:
|
QA76.63.W45 2011
|
Added Entry
|
:
|
Mariño, Julio
|
Parallel Title
|
:
|
WFLP 2010
|
| |