000 02839nam a22005535i 4500
001 978-3-642-20775-4
003 DE-He213
005 20140220083802.0
007 cr nn 008mamaa
008 110521s2011 gw | s |||| 0|eng d
020 _a9783642207754
_9978-3-642-20775-4
024 7 _a10.1007/978-3-642-20775-4
_2doi
050 4 _aQA76.9.L63
050 4 _aQA76.5913
050 4 _aQA76.63
072 7 _aUM
_2bicssc
072 7 _aUYF
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aCOM036000
_2bisacsh
082 0 4 _a005.1015113
_223
100 1 _aMariño, Julio.
_eeditor.
245 1 0 _aFunctional and Constraint Logic Programming
_h[electronic resource] :
_b19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
_cedited by Julio Mariño.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2011.
300 _aIX, 175 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6559
520 _aThis 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.
650 0 _aComputer science.
650 0 _aLogic design.
650 0 _aAlgebra
_xData processing.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aSymbolic and Algebraic Manipulation.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642207747
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6559
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-20775-4
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c107843
_d107843