000 03133nam a22005775i 4500
001 978-3-642-20775-4
003 DE-He213
005 20240730181908.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 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
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 Marino.
250 _a1st ed. 2011.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_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 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_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.
_99832
650 0 _aMachine theory.
_9126503
650 0 _aCompilers (Computer programs).
_93350
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science
_xMathematics.
_93866
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9126504
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aSymbolic and Algebraic Manipulation.
_955589
700 1 _aMarino, Julio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9126505
710 2 _aSpringerLink (Online service)
_9126506
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642207747
776 0 8 _iPrinted edition:
_z9783642207761
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v6559
_9126507
856 4 0 _uhttps://doi.org/10.1007/978-3-642-20775-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91123
_d91123