Verfügbarkeit: Practical aspects of declarative languages

Practical aspects of declarative languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21 - 22, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Sagonas, Kostis (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7752
Schlagworte:	Deklarative Programmiersprache Konferenzschrift > 2012 > Rom
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XIV, 260 S.)
ISBN:	9783642452833 3642452833 9783642452840
DOI:	10.1007/978-3-642-45284-0

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041617029
003	DE-604
005	20140303
007	cr\|uuu---uuuuu
008	140131s2013 xx o\|\|\|\| 00\|\|\| eng d
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 \|c Online \|9 978-3-642-45284-0
024	7		\|a 10.1007/978-3-642-45284-0 \|2 doi
035			\|a (OCoLC)864453013
035			\|a (DE-599)BVBBV041617029
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 005.13
084			\|a DAT 706f \|2 stub
084			\|a DAT 350f \|2 stub
084			\|a DAT 000 \|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 1 Online-Ressource (XIV, 260 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|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 2012 \|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)BV014880109 \|9 7752
856	4	0	\|u https://doi.org/10.1007/978-3-642-45284-0 \|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=027058127&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=027058127&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027058127

Datensatz im Suchindex

_version_	1820875561303539712
adam_text	PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS A LIBRARY FOR DECLARATIVE RESOLUTION-INDEPENDENT 2D GRAPHICS ANALYSING THE ENTIRE WIKIPEDIA HISTORY WITH DATABASE SUPPORTED HASKELL LOGICOBJECTS: ENABLING LOGIC PROGRAMMING IN JAVA THROUGH LINGUISTIC SYMBIOSIS A DECLARATIVE COMPOSITIONAL TIMING ANALYSIS FOR MULTICORES USING THE LATENCY-RATE ABSTRACTION SUPPORTING PRUNING IN TABLED LP A PORTABLE AND EFFICIENT IMPLEMENTATION OF COINDUCTIVE LOGIC PROGRAMMING FORMALIZING A BROADER RECURSION COVERAGE IN SQL A DECLARATIVE-FRIENDLY API FOR WEB DOCUMENT MANIPULATION IMPLEMENTING EQUATIONAL CONSTRAINTS IN A FUNCTIONAL LANGUAGE ON THE EFFICIENT IMPLEMENTATION OF MODE-DIRECTED TABLING THE GENERALIZED INTENSIONAL TRANSFORMATION FOR IMPLEMENTING LAZY FUNCTIONAL LANGUAGES TERMINYZER: AN AUTOMATIC NON-TERMINATION ANALYZER FOR LARGE LOGIC PROGRAMS INTEGRATIVE FUNCTIONAL STATISTICS IN LOGIC PROGRAMMING REVERSIBLE LANGUAGE EXTENSIONS AND THEIR APPLICATION IN DEBUGGING PROSQLITE: PROLOG FILE BASED DATABASES VIA AN SQLITE INTERFACE DEPENDENTLY TYPED WEB CLIENT APPLICATIONS: FRP IN AGDA IN HTML5 PARALLEL PERFORMANCE OF DECLARATIVE PROGRAMMING USING A PGAS MODEL DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED POST-PROCEEDINGS OF THE 15TH INTERNATIONAL SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2013, HELD IN ROME, ITALY, IN JANUARY 2013, CO-LOCATED WITH POPL 2013, THE 40TH SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. THE 17 REVISED PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 33 SUBMISSIONS. THE VOLUME FEATURES ORIGINAL WORK EMPHASIZING NEW IDEAS AND IMPLEMENTATION TECHNIQUES FOR ALL FORMS OF DECLARATIVE CONCEPTS, INCLUDING FUNCTIONAL, LOGIC, AND CONSTRAINTS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
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	BV041617029
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 350f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)864453013 (DE-599)BVBBV041617029
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-642-45284-0
format	Electronic Conference Proceeding eBook
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">BV041617029</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140303</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140131s2013 xx o\|\|\|\| 00\|\|\| eng d</controlfield><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="c">Online</subfield><subfield code="9">978-3-642-45284-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-45284-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864453013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041617029</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-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</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="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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">1 Online-Ressource (XIV, 260 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">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">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">2012</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)BV014880109</subfield><subfield code="9">7752</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-45284-0</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=027058127&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=027058127&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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027058127</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Rom gnd-content
genre_facet	Konferenzschrift 2012 Rom
id	DE-604.BV041617029
illustrated	Not Illustrated
indexdate	2025-01-10T15:17:35Z
institution	BVB
institution_GND	(DE-588)1046184067
isbn	9783642452833 3642452833 9783642452840
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027058127
oclc_num	864453013
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XIV, 260 S.)
psigel	ZDB-2-SCS ZDB-2-LNC
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 1 Online-Ressource (XIV, 260 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7752 Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 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)BV014880109 7752 https://doi.org/10.1007/978-3-642-45284-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027058127&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=027058127&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
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 2012 Rom
url	https://doi.org/10.1007/978-3-642-45284-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027058127&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=027058127&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT sagonaskostis practicalaspectsofdeclarativelanguages15thinternationalsymposiumpadl2013romeitalyjanuary21222013proceedings AT padlrom practicalaspectsofdeclarativelanguages15thinternationalsymposiumpadl2013romeitalyjanuary21222013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge