Practical aspects of declarative languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7752 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIV, 260 S. 235 mm x 155 mm |
| ISBN: | 9783642452833 3642452833 9783642452840 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041474457 | ||
| 003 | DE-604 | ||
| 005 | 20140303 | ||
| 007 | t| | ||
| 008 | 131211s2013 xx |||| 00||| eng d | ||
| 015 | |a 13N48 |2 dnb | ||
| 016 | 7 | |a 1044263016 |2 DE-101 | |
| 020 | |a 9783642452833 |c : Pb. : EUR 49.22 (DE) |9 978-3-642-45283-3 | ||
| 020 | |a 3642452833 |9 3-642-45283-3 | ||
| 020 | |a 9783642452840 |9 978-3-642-45284-0 | ||
| 035 | |a (OCoLC)876274305 | ||
| 035 | |a (DE-599)DNB1044263016 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 005.13 |2 22/ger | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Practical aspects of declarative languages |b 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings |c Kostis Sagonas ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XIV, 260 S. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7752 | |
| 650 | 0 | 7 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Rom |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sagonas, Kostis |0 (DE-588)1046183931 |4 edt | |
| 711 | 2 | |a PADL |n 15 |d 2013 |c Rom |j Sonstige |0 (DE-588)1046184067 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7752 |w (DE-604)BV000000607 |9 7752 | |
| 856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4505773&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=026920534&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026920534 | |
Datensatz im Suchindex
| _version_ | 1820875549219749888 |
|---|---|
| adam_text |
TABLE OF CONTENTS
A LIBRARY FOR DECLARATIVE RESOLUTION-INDEPENDENT 2D GRAPHICS 1
PAUL KLINT AND ATZE VAN DER PLOEG
ANALYSING THE ENTIRE WIKIPEDIA HISTORY WITH DATABASE SUPPORTED
HASKELL 19
GEORGE GIORGIDZE, TORSTEN GRUST, IASSEN HALATCHLIYSKI, AND
MICHAEL RUMMER
LOGICOBJECTS: ENABLING LOGIC PROGRAMMING IN JAVA THROUGH LINGUISTIC
SYMBIOSIS 26
SERGIO CASTRO, RIM MENS, AND PAULO MOURA
A DECLARATIVE COMPOSITIONAL TIMING ANALYSIS FOR MULTICORES USING
THE LATENCY-RATE ABSTRACTION 43
VITOR R.ODRIGUES, BENNY AKESSON, SIMAO MELO DE SOUSA, AND
MARIO FLORIDO
SUPPORTING PRUNING IN TABLED LP 60
PABLO CHICO DE GUZMAN, MANUEL CARRO, AND
MANUEL V. HERMENEGILDO
A PORTABLE AND EFFICIENT IMPLEMENTATION OF COINDUCTIVE LOGIC
PROGRAMMING 77
PAULO MOURA
FORMALIZING A BROADER RECURSION COVERAGE IN SQL 93
GABRIEL ARANDA, SUSANA NIEVA, FERNANDO SAENZ-PEREZ, AND
JAIME SANCHEZ-HERNANDEZ
A DECLARATIVE-FRIENDLY API FOR WEB DOCUMENT MANIPULATION 109
BENJAMIN GANOU, EMMANUEL GHAILLOUX, ARID VINCENT BALAT
IMPLEMENTING EQUATIONAL CONSTRAINTS IN A FUNCTIONAL LANGUAGE 125
BERND BRAFLEL, MICHAEL HANUS, BJORN PEEINOLLER, AND FABIAN B.ECK
ON THE EFFICIENT IMPLEMENTATION OF MODE-DIRECTED TABLING 141
JOAO SANTOS AND B.ICARDO ROCHA
THE GENERALIZED INTENSIONAL TRANSFORMATION FOR IMPLEMENTING LAZY
FUNCTIONAL LANGUAGES 157
GEORGIOS FOURTOUNIS, NIKOLAOS PAPASPYROU, AND PANOS RONDOGIANNIS
HTTP://D-NB.INFO/1044263016
XIV TABLE OF CONTENTS
TERMINYZER: AN AUTOMATIC NON-TERMINATION ANALYZER FOR LARGE LOGIC
PROGRAMS 173
SENLIN LIANG AND MICHAEL KIFER
INTEGRATIVE FUNCTIONAL STATISTICS IN LOGIC PROGRAMMING 190
NICOS ANGELOPOULOS, VITOR SANTOS COSTA, JOAO AZEVEDO,
JAN WIELEMAKER, RUI CAMACHO, AND LODEWYK WESSELS
REVERSIBLE LANGUAGE EXTENSIONS AND THEIR APPLICATION IN DEBUGGING . . .
206
ZOE DREY, JOSE F. MORALES, MANUEL V. HERMENEGILDO, AND
MANUEL CARRO
PROSQLITE: PROLOG FILE BASED DATABASES VIA AN SQLITE INTERFACE 222
SANDER CANISIUS, NICOS ANGELOPOULOS, AND LODEWYK WESSELS
DEPENDENCY TYPED WEB CLIENT APPLICATIONS: FR.P IN AGDA
IH HTML5 228
ALAN JEFFREY
PARALLEL PERFORMANCE OF DECLARATIVE PROGRAMMING USING A PGAS
MODEL 244
RUI MACHADO, SALVADOR ABREU, AND DANIEL DIAZ
AUTHOR INDEX 261 |
| any_adam_object | 1 |
| author2 | Sagonas, Kostis |
| author2_role | edt |
| author2_variant | k s ks |
| author_GND | (DE-588)1046183931 |
| author_facet | Sagonas, Kostis |
| building | Verbundindex |
| bvnumber | BV041474457 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 350f |
| ctrlnum | (OCoLC)876274305 (DE-599)DNB1044263016 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| 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">BV041474457</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140303</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">131211s2013 xx |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13N48</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1044263016</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642452833</subfield><subfield code="c">: Pb. : EUR 49.22 (DE)</subfield><subfield code="9">978-3-642-45283-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642452833</subfield><subfield code="9">3-642-45283-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642452840</subfield><subfield code="9">978-3-642-45284-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)876274305</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1044263016</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><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.13</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical aspects of declarative languages</subfield><subfield code="b">15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings</subfield><subfield code="c">Kostis Sagonas ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 260 S.</subfield><subfield code="c">235 mm x 155 mm</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">7752</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</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">2013</subfield><subfield code="z">Rom</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</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">Sagonas, Kostis</subfield><subfield code="0">(DE-588)1046183931</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PADL</subfield><subfield code="n">15</subfield><subfield code="d">2013</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1046184067</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7752</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7752</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4505773&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=026920534&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-026920534</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content |
| genre_facet | Konferenzschrift 2013 Rom |
| id | DE-604.BV041474457 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:17:24Z |
| institution | BVB |
| institution_GND | (DE-588)1046184067 |
| isbn | 9783642452833 3642452833 9783642452840 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026920534 |
| oclc_num | 876274305 |
| open_access_boolean | |
| owner | DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XIV, 260 S. 235 mm x 155 mm |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings Kostis Sagonas ... (ed.) Berlin [u.a.] Springer 2013 XIV, 260 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7752 Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content Deklarative Programmiersprache (DE-588)4293502-7 s DE-604 Sagonas, Kostis (DE-588)1046183931 edt PADL 15 2013 Rom Sonstige (DE-588)1046184067 oth Lecture notes in computer science 7752 (DE-604)BV000000607 7752 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4505773&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=026920534&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings Lecture notes in computer science Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| subject_GND | (DE-588)4293502-7 (DE-588)1071861417 |
| title | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings |
| title_auth | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings |
| title_exact_search | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings |
| title_full | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings Kostis Sagonas ... (ed.) |
| title_fullStr | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings Kostis Sagonas ... (ed.) |
| title_full_unstemmed | Practical aspects of declarative languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings Kostis Sagonas ... (ed.) |
| title_short | Practical aspects of declarative languages |
| title_sort | practical aspects of declarative languages 15th international symposium padl 2013 rome italy january 21 22 2013 proceedings |
| title_sub | 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 ; proceedings |
| topic | Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| topic_facet | Deklarative Programmiersprache Konferenzschrift 2013 Rom |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4505773&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=026920534&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sagonaskostis practicalaspectsofdeclarativelanguages15thinternationalsymposiumpadl2013romeitalyjanuary21222013proceedings AT padlrom practicalaspectsofdeclarativelanguages15thinternationalsymposiumpadl2013romeitalyjanuary21222013proceedings |