Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer
2015
|
| Series: | Lecture Notes in Computer Science
9131 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (X, 149 S.) Ill., graph. Darst. |
| ISBN: | 9783319196862 9783319196855 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-19686-2 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042725101 | ||
| 003 | DE-604 | ||
| 005 | 20150811 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150730s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319196862 |c Online |9 978-3-319-19686-2 | ||
| 020 | |a 9783319196855 |c Print |9 978-3-319-19685-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-19686-2 |2 doi | |
| 035 | |a (OCoLC)910748221 | ||
| 035 | |a (DE-599)BVBBV042725101 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.13 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Practical Aspects of Declarative Languages |b 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings |c edited by Enrico Pontelli, Tran Cao Son |
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (X, 149 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9131 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 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 2015 |z Portland, Or. |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Pontelli, Enrico |d 1967- |e Sonstige |0 (DE-588)121630714 |4 oth | |
| 711 | 2 | |a PADL |n 17. |d 2015 |c Portland, Or. |j Sonstige |0 (DE-588)1072251388 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9131 |w (DE-604)BV014880109 |9 9131 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-19686-2 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028156222&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028156222&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028156222 | ||
Record in the Search Index
| _version_ | 1804174933420408832 |
|---|---|
| adam_text | PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ONTOLOGY-DRIVEN DATA SEMANTICS DISCOVERY FOR CYBER-SECURITY
STATE SPACE PLANNING USING TRANSACTION LOGIC
ON COMPILING LINEAR LOGIC PROGRAMS WITH COMPREHENSIONS, AGGREGATES AND
RULE
DECLARATIVELY SOLVING GOOGLE CODE JAM PROBLEMS WITH PICAT
REACTIVE SINGLE-PAGE APPLICATIONS WITH DYNAMIC DATAFLOW
CHR(CURRY): INTERPRETATION AND COMPILATION OF CONSTRAINT HANDLING RULES
IN CURRY
IMPLEMENTATION AND PERFORMANCE OF PROBABILISTIC INFERENCE
A HASKELL IMPLEMENTATION OF A RULE-BASED PROGRAM TRANSFORMATION FOR C
PROGRAMS
ON LOGIC PROGRAMMING REPRESENTATIONS OF LAMBDA TERMS: DE BRUIJN INDICES,
COMPRESSION, TYPE INFERENCE, COMBINATORIAL GENERATION, NORMALIZATION
PROGRAMMING MICROCONTROLLERS IN OCAML: THE OCAPICPROJECT
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 17TH INTERNATIONAL
SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, HELD
IN PORTLAND, OR, USA, IN JUNE 2015. THE 10 REVISED PAPERS PRESENTED WERE
CAREFULLY REVIEWED AND SELECTED FROM NUMEROUS SUBMISSIONS. THE PAPERS
COVER ALL FORMS OF DECLARATIVE CONCEPTS, INCLUDING, FUNCTIONAL, LOGIC,
CONSTRAINTS, ETC
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)121630714 |
| building | Verbundindex |
| bvnumber | BV042725101 |
| classification_tum | DAT 000 DAT 350f DAT 706f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)910748221 (DE-599)BVBBV042725101 |
| 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 |
| doi_str_mv | 10.1007/978-3-319-19686-2 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02799nmm a2200601zcb4500</leader><controlfield tag="001">BV042725101</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150811 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150730s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319196862</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-19686-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319196855</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-19685-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-19686-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)910748221</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042725101</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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="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">Practical Aspects of Declarative Languages</subfield><subfield code="b">17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings</subfield><subfield code="c">edited by Enrico Pontelli, Tran Cao Son</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 149 S.)</subfield><subfield code="b">Ill., graph. Darst.</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">9131</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">2015</subfield><subfield code="z">Portland, Or.</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">Pontelli, Enrico</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121630714</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PADL</subfield><subfield code="n">17.</subfield><subfield code="d">2015</subfield><subfield code="c">Portland, Or.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1072251388</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">9131</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9131</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-19686-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028156222&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028156222&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028156222</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Portland, Or. gnd-content |
| genre_facet | Konferenzschrift 2015 Portland, Or. |
| id | DE-604.BV042725101 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:08:16Z |
| institution | BVB |
| institution_GND | (DE-588)1072251388 |
| isbn | 9783319196862 9783319196855 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028156222 |
| oclc_num | 910748221 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 149 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings edited by Enrico Pontelli, Tran Cao Son Cham Springer 2015 1 Online-Ressource (X, 149 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9131 0302-9743 Computer science Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Informatik Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Portland, Or. gnd-content Deklarative Programmiersprache (DE-588)4293502-7 s DE-604 Pontelli, Enrico 1967- Sonstige (DE-588)121630714 oth PADL 17. 2015 Portland, Or. Sonstige (DE-588)1072251388 oth Lecture Notes in Computer Science 9131 (DE-604)BV014880109 9131 https://doi.org/10.1007/978-3-319-19686-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028156222&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028156222&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings Lecture Notes in Computer Science Computer science Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Informatik Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| subject_GND | (DE-588)4293502-7 (DE-588)1071861417 |
| title | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings |
| title_auth | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings |
| title_exact_search | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings |
| title_full | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings edited by Enrico Pontelli, Tran Cao Son |
| title_fullStr | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings edited by Enrico Pontelli, Tran Cao Son |
| title_full_unstemmed | Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings edited by Enrico Pontelli, Tran Cao Son |
| title_short | Practical Aspects of Declarative Languages |
| title_sort | practical aspects of declarative languages 17th international symposium padl 2015 portland or usa june 18 19 2015 proceedings |
| title_sub | 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings |
| topic | Computer science Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Informatik Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| topic_facet | Computer science Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Informatik Deklarative Programmiersprache Konferenzschrift 2015 Portland, Or. |
| url | https://doi.org/10.1007/978-3-319-19686-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028156222&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028156222&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT pontellienrico practicalaspectsofdeclarativelanguages17thinternationalsymposiumpadl2015portlandorusajune18192015proceedings AT padlportlandor practicalaspectsofdeclarativelanguages17thinternationalsymposiumpadl2015portlandorusajune18192015proceedings |