Verfügbarkeit: Functional and Constraint Logic Programming

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture Notes in Computer Science 6816
Schlagworte:	Constraint-Programmierung Logische Programmierung Funktionale Programmierung Konferenzschrift > 2011 > Odense
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	155 S.
ISBN:	9783642225307 3642225306

Internformat

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

Datensatz im Suchindex

_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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge