000 03051nam a22005775i 4500
001 978-3-642-20775-4
003 DE-He213
005 20240423125604.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.
650 0 _aMachine theory.
650 0 _aCompilers (Computer programs).
650 0 _aArtificial intelligence.
650 0 _aComputer science
_xMathematics.
650 1 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aArtificial Intelligence.
650 2 4 _aSymbolic and Algebraic Manipulation.
700 1 _aMarino, Julio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
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
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 _cSPRINGER
999 _c179598
_d179598