Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture Notes in Computer Science
6816 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | 155 S. |
| ISBN: | 9783642225307 3642225306 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039143146 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | t| | ||
| 008 | 110718s2011 xx |||| 10||| eng d | ||
| 015 | |a 11,N25 |2 dnb | ||
| 016 | 7 | |a 101289262X |2 DE-101 | |
| 020 | |a 9783642225307 |c Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.) |9 978-3-642-22530-7 | ||
| 020 | |a 3642225306 |c Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.) |9 3-642-22530-6 | ||
| 024 | 3 | |a 9783642225307 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80074338 |
| 035 | |a (OCoLC)844902773 | ||
| 035 | |a (DE-599)DNB101289262X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 005.114 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Functional and Constraint Logic Programming |b 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings |c Herbert Kuchen (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a 155 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6816 | |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Odense |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 2 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kuchen, Herbert |e Sonstige |4 oth | |
| 711 | 2 | |a WFLP |n 20 |d 2011 |c Odense |j Sonstige |0 (DE-588)16164820-4 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Functional and Constraint Logic Programming |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6816 |w (DE-604)BV000000607 |9 6816 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3843076&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024161147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024161147 | |
Record in the Search Index
| _version_ | 1820875336744697856 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
FUNCTIONAL LOGIC PROGRAMMING KICS2: A NEW COMPILER FROM CURRY TO HASKELL
1
BERND BRASSEL, MICHAEL HANNS, BJOERN PEEMOELLER, AND FABIAN RECK
NEW FUNCTIONAL LOGIC DESIGN PATTERNS 19
SERGIO ANTOY AND MICHAEL HANNS
XQUERY IN THE FUNCTIONAL-LOGIC LANGUAGE TOY 35
JESUS M. ALMENDROS-JIMENEZ, RAFAEL CABALLERO, YOLANDA GARCIA-RUIZ, AND
FERNANDO SAENZ-PEREZ
FUNCTIONAL PROGRAMMING
SIZE INVARIANT AND RANKING FUNCTION SYNTHESIS IN A FUNCTIONAL LANGUAGE
52
RICARDO PENA AND AGUSTIN D. DELGADO-MUNOZ
MEMOIZING A MONADIC MIXIN DSL 68
PIETER WUILLE, TOM SCHRIJVERS, HORST SAMULOWITZ, GUIDO TACK, AND PETER
STUCKEY
A FUNCTIONAL APPROACH TO WORST-CASE EXECUTION TIME ANALYSIS 86 VITOR
RODRIGUES, MARIO FLORIDO, AND SIMAEO MELO DE SOUSA
BUILDING A FACETED BROWSER IN COUCHDB USING VIEWS ON VIEWS AND ERLANG
METAPROGRAMMING 104
CLAUS ZINN
INTEGRATION OF CONSTRAINT LOGIC AND OBJECT-ORIENTED PROGRAMMING LOGIC
JAVA: COMBINING OBJECT-ORIENTED AND LOGIC PROGRAMMING 122 TIM A.
MAJCHRZAK AND HERBERT KUCHEN
TERM REWRITING
ON PROVING TERMINATION OF CONSTRAINED TERM REWRITE SYSTEMS BY
ELIMINATING EDGES FROM DEPENDENCY GRAPHS 138
TSUBASA SAKATA, NAOKI NISHIDA, AND TOSHIKI SAKABE
AUTHOR INDEX 157
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/101289262X
DIGITALISIERT DURCH |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039143146 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f DAT 706f |
| ctrlnum | (OCoLC)844902773 (DE-599)DNB101289262X |
| dewey-full | 005.114 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.114 |
| dewey-search | 005.114 |
| dewey-sort | 15.114 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039143146</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110718s2011 xx |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101289262X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642225307</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-22530-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642225306</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.)</subfield><subfield code="9">3-642-22530-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642225307</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80074338</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844902773</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101289262X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.114</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Functional and Constraint Logic Programming</subfield><subfield code="b">20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings</subfield><subfield code="c">Herbert Kuchen (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">155 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6816</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Odense</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kuchen, Herbert</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WFLP</subfield><subfield code="n">20</subfield><subfield code="d">2011</subfield><subfield code="c">Odense</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16164820-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Functional and Constraint Logic Programming</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6816</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6816</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3843076&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024161147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024161147</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Odense gnd-content |
| genre_facet | Konferenzschrift 2011 Odense |
| id | DE-604.BV039143146 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:13:59Z |
| institution | BVB |
| institution_GND | (DE-588)16164820-4 |
| isbn | 9783642225307 3642225306 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024161147 |
| oclc_num | 844902773 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | 155 S. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Herbert Kuchen (ed.) Berlin [u.a.] Springer 2011 155 S. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6816 Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Odense gnd-content Funktionale Programmierung (DE-588)4198740-8 s Logische Programmierung (DE-588)4195096-3 s Constraint-Programmierung (DE-588)4567206-4 s DE-604 Kuchen, Herbert Sonstige oth WFLP 20 2011 Odense Sonstige (DE-588)16164820-4 oth Erscheint auch als Online-Ausgabe Functional and Constraint Logic Programming Lecture Notes in Computer Science 6816 (DE-604)BV000000607 6816 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3843076&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024161147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Lecture Notes in Computer Science Constraint-Programmierung (DE-588)4567206-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)4195096-3 (DE-588)4198740-8 (DE-588)1071861417 |
| title | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings |
| title_auth | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings |
| title_exact_search | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings |
| title_full | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Herbert Kuchen (ed.) |
| title_fullStr | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Herbert Kuchen (ed.) |
| title_full_unstemmed | Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Herbert Kuchen (ed.) |
| title_short | Functional and Constraint Logic Programming |
| title_sort | functional and constraint logic programming 20th international workshop wflp 2011 odense denmark july 19 2011 proceedings |
| title_sub | 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings |
| topic | Constraint-Programmierung (DE-588)4567206-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Constraint-Programmierung Logische Programmierung Funktionale Programmierung Konferenzschrift 2011 Odense |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3843076&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024161147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kuchenherbert functionalandconstraintlogicprogramming20thinternationalworkshopwflp2011odensedenmarkjuly192011proceedings AT wflpodense functionalandconstraintlogicprogramming20thinternationalworkshopwflp2011odensedenmarkjuly192011proceedings |