Eintrag weiter verarbeiten
Online-Ressource

Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften: Sagonas, Kostis (VerfasserIn)
Titel: Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings/ edited by Kostis Sagonas
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7752
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Compilers (Computer programs).
Computer programming.
Konferenzschrift > 2013 > Rom
Konferenzschrift
Druckausg.: Practical aspects of declarative languages, Heidelberg : Springer, 2013, XIV, 260 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06134cam a22010212 4500
001 0-1653132914
003 DE-627
005 20240122104823.0
007 cr uuu---uuuuu
008 131203s2013 gw |||||o 00| ||eng c
020 |a 9783642452840  |9 978-3-642-45284-0 
024 7 |a 10.1007/978-3-642-45284-0  |2 doi 
035 |a (DE-627)1653132914 
035 |a (DE-576)398205558 
035 |a (DE-599)BSZ398205558 
035 |a (OCoLC)864453013 
035 |a (DE-He213)978-3-642-45284-0 
035 |a (EBP)040552845 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.7-76.73  |a QA76.76.C65 
050 0 |a QA76.7-76.73 
050 0 |a QA76.76.C65 
072 7 |a UMX  |2 bicssc 
072 7 |a COM010000  |2 bisacsh 
072 7 |a UMC  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a 54.53  |2 bkl 
100 1 |a Sagonas, Kostis  |4 aut 
245 1 0 |a Practical Aspects of Declarative Languages  |b 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings  |c edited by Kostis Sagonas 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XIV, 261 p. 82 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7752 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a A Library for Declarative Resolution-Independent 2D GraphicsAnalysing 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. 
520 |a 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 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Compilers (Computer programs). 
650 0 |a Computer programming. 
655 7 |a Konferenzschrift  |y 2013  |z Rom  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4293502-7  |0 (DE-627)104135670  |0 (DE-576)210953047  |a Deklarative Programmiersprache  |2 gnd 
689 0 |5 DE-101 
776 1 |z 9783642452833 
776 0 8 |i Druckausg.  |t Practical aspects of declarative languages  |d Heidelberg : Springer, 2013  |h XIV, 260 S.  |w (DE-627)772501750  |w (DE-576)403807034  |z 9783642452833  |z 3642452833 
830 0 |a Lecture notes in computer science  |v 7752  |9 7752  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-45284-0  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-45284-0  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz398205558cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150305121402  |3 Cover 
889 |w (DE-627)772980799 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.53  |j Programmiersprachen  |q SEPA  |0 (DE-627)106418890 
951 |a BO 
950 |a Nichtprozedurale Programmiersprache 
950 |a Deskriptive Programmiersprache 
950 |a Denotationelle Programmiersprache 
950 |a Programmiersprache 
950 |a Deklarative Programmierung 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-45284-0  |9 DE-14 
852 |a DE-14  |x epn:336305419X  |z 2013-12-03T09:43:11Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-45284-0  |9 DE-15 
852 |a DE-15  |x epn:336305422X  |z 2013-12-03T09:43:11Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-45284-0  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3363054262  |z 2013-12-03T09:43:11Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-45284-0  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3363054297  |z 2013-12-03T09:43:11Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-45284-0  |9 DE-520 
852 |a DE-520  |x epn:3363054327  |z 2013-12-03T09:43:11Z 
980 |a 1653132914  |b 0  |k 1653132914  |o 398205558 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Practical+Aspects+of+Declarative+Languages%3A+15th+International+Symposium%2C+PADL+2013%2C+Rome%2C+Italy%2C+January+21-22%2C+2013.+Proceedings&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Practical+Aspects+of+Declarative+Languages%3A+15th+International+Symposium%2C+PADL+2013%2C+Rome%2C+Italy%2C+January+21-22%2C+2013.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7752&rft.au=Sagonas%2C+Kostis&rft.pub=Springer&rft.edition=&rft.isbn=3642452841
SOLR
_version_ 1792258640882696192
access_facet Electronic Resources
author Sagonas, Kostis
author_facet Sagonas, Kostis
author_role aut
author_sort Sagonas, Kostis
author_variant k s ks
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.7-76.73 QA76.76.C65, QA76.7-76.73, QA76.76.C65
callnumber-search QA76.7-76.73 QA76.76.C65, QA76.7-76.73, QA76.76.C65
callnumber-sort QA 276.7 276.73 Q A76 276. C65
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents A Library for Declarative Resolution-Independent 2D GraphicsAnalysing 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., 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
ctrlnum (DE-627)1653132914, (DE-576)398205558, (DE-599)BSZ398205558, (OCoLC)864453013, (DE-He213)978-3-642-45284-0, (EBP)040552845
de15_date 2013-12-03T09:43:11Z
dech1_date 2013-12-03T09:43:11Z
doi_str_mv 10.1007/978-3-642-45284-0
era_facet 2013
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Deklarative Programmiersprache
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2013 Rom (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Rom
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7752
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1653132914
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1653132914
is_hierarchy_title Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
isbn 9783642452840
isbn_isn_mv 9783642452833, 3642452833
issn_isn_mv 1611-3349
kxp_id_str 1653132914
language English
last_indexed 2024-02-29T18:23:53.039Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computer programming., Deklarative Programmiersprache
marc024a_ct_mv 10.1007/978-3-642-45284-0
match_str sagonas2013practicalaspectsofdeclarativelanguages15thinternationalsymposiumpadl2013romeitalyjanuary21222013proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7752
oclc_num 864453013
physical Online-Ressource (XIV, 261 p. 82 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 398205558
recordtype marcfinc
rsn_id_str_mv (DE-15)3270597
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7752
series2 Lecture Notes in Computer Science ; 7752, SpringerLink ; Bücher
source_id 0
spelling Sagonas, Kostis aut, Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings edited by Kostis Sagonas, Berlin, Heidelberg Springer 2013, Online-Ressource (XIV, 261 p. 82 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7752, SpringerLink Bücher, Literaturangaben, A Library for Declarative Resolution-Independent 2D GraphicsAnalysing 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., 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, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computer programming., Konferenzschrift 2013 Rom (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4293502-7 (DE-627)104135670 (DE-576)210953047 Deklarative Programmiersprache gnd, DE-101, 9783642452833, Druckausg. Practical aspects of declarative languages Heidelberg : Springer, 2013 XIV, 260 S. (DE-627)772501750 (DE-576)403807034 9783642452833 3642452833, Lecture notes in computer science 7752 7752 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-45284-0 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-45284-0 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz398205558cov.jpg V:DE-576 X:springer image/jpeg 20150305121402 Cover, (DE-627)772980799, http://dx.doi.org/10.1007/978-3-642-45284-0 DE-14, DE-14 epn:336305419X 2013-12-03T09:43:11Z, http://dx.doi.org/10.1007/978-3-642-45284-0 DE-15, DE-15 epn:336305422X 2013-12-03T09:43:11Z, http://dx.doi.org/10.1007/978-3-642-45284-0 DE-Ch1, DE-Ch1 epn:3363054262 2013-12-03T09:43:11Z, http://dx.doi.org/10.1007/978-3-642-45284-0 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3363054297 2013-12-03T09:43:11Z, http://dx.doi.org/10.1007/978-3-642-45284-0 DE-520, DE-520 epn:3363054327 2013-12-03T09:43:11Z
spellingShingle Sagonas, Kostis, Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, Lecture notes in computer science, 7752, A Library for Declarative Resolution-Independent 2D GraphicsAnalysing 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., 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, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computer programming., Konferenzschrift 2013 Rom, Konferenzschrift, Deklarative Programmiersprache
swb_id_str 398205558
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_full Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings edited by Kostis Sagonas
title_fullStr Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings edited by Kostis Sagonas
title_full_unstemmed Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings edited by Kostis Sagonas
title_in_hierarchy 7752. Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings (2013)
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
title_unstemmed Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
topic Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computer programming., Konferenzschrift 2013 Rom, Konferenzschrift, Deklarative Programmiersprache
topic_facet Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computer programming., Konferenzschrift, Deklarative Programmiersprache
url https://doi.org/10.1007/978-3-642-45284-0, http://dx.doi.org/10.1007/978-3-642-45284-0, https://swbplus.bsz-bw.de/bsz398205558cov.jpg