Holdings: Practical aspects of declarative languages

Practical aspects of declarative languages: 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings

Saved in:

Bibliographic Details
Other Authors:	Russo, Claudio (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; Heidelberg Springer 2012
Series:	Lecture notes in computer science 7149
Subjects:	Deklarative Programmiersprache Konferenzschrift > 2012 > Philadelphia Pa.
Online Access:	Inhaltstext Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	X, 303 S. Ill., graph. Darst. 24 cm
ISBN:	3642276938 9783642276934

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV039798508
003	DE-604
007	t\|
008	120111s2012 xx ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N01 \|2 dnb
016	7		\|a 1018059687 \|2 DE-101
020			\|a 3642276938 \|9 3-642-27693-8
020			\|a 9783642276934 \|c kart. : EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.) \|9 978-3-642-27693-4
024	3		\|a 9783642276934
028	5	2	\|a Best.-Nr.: 86039500
035			\|a (OCoLC)844986665
035			\|a (DE-599)DNB1018059687
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-83
082	0		\|a 005.13 \|2 22/ger
084			\|a 004 \|2 sdnb
245	1	0	\|a Practical aspects of declarative languages \|b 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings \|c Claudia Russo ... (eds.)
264		1	\|a Berlin ; Heidelberg \|b Springer \|c 2012
300			\|a X, 303 S. \|b Ill., graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7149
500			\|a Literaturangaben
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 Philadelphia Pa. \|2 gnd-content
689	0	0	\|a Deklarative Programmiersprache \|0 (DE-588)4293502-7 \|D s
689	0		\|5 DE-604
700	1		\|a Russo, Claudio \|4 edt
711	2		\|a PADL \|n 14 \|d 2012 \|c Philadelphia, Pa. \|j Sonstige \|0 (DE-588)16335704-3 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-27694-1
830		0	\|a Lecture notes in computer science \|v 7149 \|w (DE-604)BV000000607 \|9 7149
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3940443&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=024659027&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024659027

Record in the Search Index

_version_	1820875368653914112
adam_text	IMAGE 1 TABLE OF CONTENTS RECENT ADVANCES IN DECLARATIVE NETWORKING 1 BOON THAU LOO, HARJOT GILL, CHANGBIN LIU, YUN MAO, WILLIAM R. MARCZAK, MICAH SHERR, ANDUO WANG, AND WENCHAO ZHOU MAKE THINGS NOW! PRAGMATIC FUNCTIONAL PROGRAMMING IN HASKELL 17 DON STEWART A DECLARATIVE APPROACH FOR SOFTWARE MODELING 18 MAYER GOLDBERG AND GUY WIENER CONTRACTS AND SPECIFICATIONS FOR FUNCTIONAL LOGIC PROGRAMMING 33 SERGIO ANTOY AND MICHAEL HANUS THE ENVIRONMENT AS AN ARGUMENT: CONTEXT-AWARE FUNCTIONAL PROGRAMMING 48 PEDRO M. MARTINS, JULIE A. MCCANN, AND SUSAN EISENBACH WEIGHTED-SEQUENCE PROBLEM: ASP VS CASP AND DECLARATIVE VS PROBLEM-ORIENTED SOLVING 63 YULIYA LIERLER, SHADEN SMITH, MIROSLAW TRUSZCZYNSKI, AND ALEX WESTLUND PRACTICAL AND METHODOLOGICAL ASPECTS OF THE USE OF CUTTING-EDGE ASP TOOLS 78 MARCELLO BALDUCCINI AND YULIYA LIERLER EFFICIENT TABLING OF STRUCTURED DATA USING INDEXING AND PROGRAM TRANSFORMATION 93 CHRISTIAN THEIL HAVE AND HENNING CHRISTIANSEN OPTIMIZING INEQUALITY JOINS IN DATALOG WITH APPROXIMATED CONSTRAINT PROPAGATION 108 DARIO CAMPAGNA, BEATA SARNA-STAROSTA, AND TOM SCHRIJVERS SYMBOLIC EXECUTION OF CONCURRENT OBJECTS IN CLP 123 ELVIRA ALBERT, PURI ARENAS, AND MIGUEL GOMEZ-ZAMALLOA A SEGMENT-SWAPPING APPROACH FOR EXECUTING TRAPPED COMPUTATIONS 138 PABLO CHICO DE GUZMAN, AMADEO CASAS, MANUEL CARRO, AND MANUEL V. HERMENEGILDO BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1018059687 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS PALOVCA: DESCRIBING AND EXECUTING GRAPH ALGORITHMS IN HASKELL 153 MICHAEL LESNIAK LEARNPADS++: INCREMENTAL INFERENCE OF AD HOC DATA FORMATS 168 KENNY Q. ZHU, KATHLEEN FISHER, AND DAVID WALKER THE KENNEDY-WARREN ALGORITHM REVISITED: ORDERING ATTRIBUTE GRAMMARS 183 JEMEN BRANSEN, ARIE MIDDELKOOP, ATZE DIJKSTRA, AND S. DOAITSE SWIERSTRA DISTRIBUTED POLICY SPECIFICATION AND INTERPRETATION WITH CLASSIFIED ADVERTISEMENTS 198 NICHOLAS COLEMAN HANDSHAKING IN KANSAS LAVA USING PATCH LOGIC 212 ANDY GILL AND BOWE NEUENSCHWANDER VIRTUALIZING REAL-WORLD OBJECTS IN FRP 227 DANIEL WINOGRAD-CORT, HAI LIU, AND PAUL HUDAK RESOURCE-SAFE SYSTEMS PROGRAMMING WITH EMBEDDED DOMAIN SPECIFIC NGUAGES EDWIN BRADY AND KEVIN HAMMOND LANGUAGES 242 NODE-BASED CONNECTION SEMANTICS FOR EQUATION-BASED OBJECT-ORIENTED MODELING LANGUAGES 258 DAVID BROMAN AND HENRIK NILSSON A DECLARATIVE SPECIFICATION OF TREE-BASED SYMBOLIC ARITHMETIC COMPUTATIONS 273 PAUL TARAU TYPING THE NUMERIC TOWER 289 VINCENT ST-AMOUR, SAM TOBIN-HOCHSTADT, MATTHEW FLATT, AND MATTHIAS FELLEISEN AUTHOR INDEX 305
any_adam_object	1
author2	Russo, Claudio
author2_role	edt
author2_variant	c r cr
author_facet	Russo, Claudio
building	Verbundindex
bvnumber	BV039798508
classification_rvk	SS 4800
ctrlnum	(OCoLC)844986665 (DE-599)DNB1018059687
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">BV039798508</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">120111s2012 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1018059687</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642276938</subfield><subfield code="9">3-642-27693-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642276934</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-27693-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642276934</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86039500</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844986665</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1018059687</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-83</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical aspects of declarative languages</subfield><subfield code="b">14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings</subfield><subfield code="c">Claudia Russo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 303 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</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">7149</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Philadelphia Pa.</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">Russo, Claudio</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PADL</subfield><subfield code="n">14</subfield><subfield code="d">2012</subfield><subfield code="c">Philadelphia, Pa.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16335704-3</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="z">978-3-642-27694-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7149</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7149</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=3940443&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=024659027&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-024659027</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Philadelphia Pa. gnd-content
genre_facet	Konferenzschrift 2012 Philadelphia Pa.
id	DE-604.BV039798508
illustrated	Illustrated
indexdate	2025-01-10T15:14:30Z
institution	BVB
institution_GND	(DE-588)16335704-3
isbn	3642276938 9783642276934
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024659027
oclc_num	844986665
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	X, 303 S. Ill., graph. Darst. 24 cm
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Practical aspects of declarative languages 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings Claudia Russo ... (eds.) Berlin ; Heidelberg Springer 2012 X, 303 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7149 Literaturangaben Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Philadelphia Pa. gnd-content Deklarative Programmiersprache (DE-588)4293502-7 s DE-604 Russo, Claudio edt PADL 14 2012 Philadelphia, Pa. Sonstige (DE-588)16335704-3 oth Erscheint auch als Online-Ausgabe 978-3-642-27694-1 Lecture notes in computer science 7149 (DE-604)BV000000607 7149 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3940443&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=024659027&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Practical aspects of declarative languages 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; 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 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings
title_auth	Practical aspects of declarative languages 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings
title_exact_search	Practical aspects of declarative languages 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings
title_full	Practical aspects of declarative languages 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings Claudia Russo ... (eds.)
title_fullStr	Practical aspects of declarative languages 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings Claudia Russo ... (eds.)
title_full_unstemmed	Practical aspects of declarative languages 14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings Claudia Russo ... (eds.)
title_short	Practical aspects of declarative languages
title_sort	practical aspects of declarative languages 14th international symposium padl 2012 philadelphia pa usa january 23 24 2012 proceedings
title_sub	14th international symposium ; PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 ; proceedings
topic	Deklarative Programmiersprache (DE-588)4293502-7 gnd
topic_facet	Deklarative Programmiersprache Konferenzschrift 2012 Philadelphia Pa.
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3940443&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=024659027&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT russoclaudio practicalaspectsofdeclarativelanguages14thinternationalsymposiumpadl2012philadelphiapausajanuary23242012proceedings AT padlphiladelphiapa practicalaspectsofdeclarativelanguages14thinternationalsymposiumpadl2012philadelphiapausajanuary23242012proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items