Logic-based program synthesis and transformation: 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6037 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 204 S. graph. Darst. 24 cm |
| ISBN: | 9783642125911 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036426455 | ||
| 003 | DE-604 | ||
| 005 | 20100611 | ||
| 007 | t| | ||
| 008 | 100428s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N12 |2 dnb | ||
| 016 | 7 | |a 1000911829 |2 DE-101 | |
| 020 | |a 9783642125911 |c kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-12591-1 | ||
| 024 | 3 | |a 9783642125911 | |
| 028 | 5 | 2 | |a 80013034 |
| 035 | |a (OCoLC)610820691 | ||
| 035 | |a (DE-599)DNB1000911829 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.115 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Logic-based program synthesis and transformation |b 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers |c Danny De Schreye (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 204 S. |b 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 6037 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmsynthese |0 (DE-588)4295513-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Coimbra |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Programmsynthese |0 (DE-588)4295513-0 |D s |
| 689 | 0 | 2 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmsynthese |0 (DE-588)4295513-0 |D s |
| 689 | 1 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 1 | 2 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 1 | 3 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a De Schreye, Danny |e Sonstige |4 oth | |
| 711 | 2 | |a LOPSTR |n 19 |d 2009 |c Coimbra |j Sonstige |0 (DE-588)16063677-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6037 |w (DE-604)BV000000607 |9 6037 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3442341&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=020299141&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020299141 | |
Datensatz im Suchindex
| _version_ | 1820875228314599424 |
|---|---|
| adam_text |
TABLE OF CONTENTS TOWARDS SCALABLE PARTIAL EVALUATION OF DECLARATIVE
PROGRAMS (INVITED TALK) 1 GERMAN VIDAL DECIDING FULL BRANCHING TIME
LOGIC BY PROGRAM TRANSFORMATION 5 ALBERTO PETTOROSSI, MAURIZIO PROIETTI,
AND VALERIO SENNI A TRANSFORMATIONAL APPROACH FOR PROVING PROPERTIES OF
THE CHR CONSTRAINT STORE 22 PAOLO PILOZZI, TOM SCHRIJVERS, AND MAURICE
BRUYNOOGHE THE DEPENDENCY TRIPLE FRAMEWORK FOR TERMINATION OF LOGIC
PROGRAMS 37 PETER SCHNEIDER-KAMP, JUERGEN GIESL, AND MANH THANG NGUYEN
GOAL-DIRECTED AND RELATIVE DEPENDENCY PAIRS FOR PROVING THE TERMINATION
OF NARROWING 52 JOSE IBORRA, NAOKI NISHIDA, AND GERMAN VIDAL LP WITH
FLEXIBLE GROUPING AND AGGREGATES USING MODES 67 MARCIN CZENKO AND SANDRO
ETALLE ON INDUCTIVE AND COINDUCTIVE PROOFS VIA UNFOLD/FOLD
TRANSFORMATIONS 82 HIROHISA SEKI COINDUCTIVE LOGIC PROGRAMMING WITH
NEGATION 97 RICHARD MIN AND GOPAL GUPTA REFINING EXCEPTIONS IN
FOUR-VALUED LOGIC. 113 SUSUMU NISHIMURA TOWARDS A FRAMEWORK FOR
CONSTRAINT-BASED TEST CASE GENERATION 128 FRANCOIS DEGRAVE, TOM
SCHRIJVERS, AND WIM VANHOOF USING REWRITE STRATEGIES FOR TESTING BUPL
AGENTS 143 LAECRAEMIOARA ASTEFAENOAEI, FRANK S. DE BOER, AND M. BIRNA VAN
RIEMSDIJK TOWARD BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1000911829 DIGITALISIERT DURCH X TABLE OF CONTENTS
PROGRAM PARALLELIZATION USING SYNCHRONIZED PIPELINING 173 LEONARDO
SCANDOLO, CESAR KUNZ, AND MANUEL HERMENEGILDO DEFINING DATALOG IN
REWRITING LOGIC 188 M. ALPUENTE, M.A. FELIU, C. JOUBERT, AND A.
VILLANUEVA AUTHOR INDEX 205 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036426455 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 325f |
| ctrlnum | (OCoLC)610820691 (DE-599)DNB1000911829 |
| dewey-full | 005.115 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.115 |
| dewey-search | 005.115 |
| dewey-sort | 15.115 |
| 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">BV036426455</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100611</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100428s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000911829</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642125911</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-12591-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642125911</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80013034</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610820691</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000911829</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-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.115</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="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic-based program synthesis and transformation</subfield><subfield code="b">19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers</subfield><subfield code="c">Danny De Schreye (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 204 S.</subfield><subfield code="b">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">6037</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</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">2009</subfield><subfield code="z">Coimbra</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">De Schreye, Danny</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LOPSTR</subfield><subfield code="n">19</subfield><subfield code="d">2009</subfield><subfield code="c">Coimbra</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16063677-2</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">6037</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6037</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3442341&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=020299141&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-020299141</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Coimbra gnd-content |
| genre_facet | Konferenzschrift 2009 Coimbra |
| id | DE-604.BV036426455 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:17Z |
| institution | BVB |
| institution_GND | (DE-588)16063677-2 |
| isbn | 9783642125911 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020299141 |
| oclc_num | 610820691 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | X, 204 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers Danny De Schreye (ed.) Berlin [u.a.] Springer 2010 X, 204 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6037 Literaturangaben Programmierlogik (DE-588)4047408-2 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Coimbra gnd-content Logische Programmierung (DE-588)4195096-3 s Programmsynthese (DE-588)4295513-0 s Programmtransformation (DE-588)4263654-1 s DE-604 Programmierlogik (DE-588)4047408-2 s Beweistheorie (DE-588)4145177-6 s De Schreye, Danny Sonstige oth LOPSTR 19 2009 Coimbra Sonstige (DE-588)16063677-2 oth Lecture notes in computer science 6037 (DE-604)BV000000607 6037 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3442341&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=020299141&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers Lecture notes in computer science Programmierlogik (DE-588)4047408-2 gnd Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Beweistheorie (DE-588)4145177-6 gnd Programmsynthese (DE-588)4295513-0 gnd |
| subject_GND | (DE-588)4047408-2 (DE-588)4263654-1 (DE-588)4195096-3 (DE-588)4145177-6 (DE-588)4295513-0 (DE-588)1071861417 |
| title | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers |
| title_auth | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers |
| title_exact_search | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers |
| title_full | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers Danny De Schreye (ed.) |
| title_fullStr | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers Danny De Schreye (ed.) |
| title_full_unstemmed | Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers Danny De Schreye (ed.) |
| title_short | Logic-based program synthesis and transformation |
| title_sort | logic based program synthesis and transformation 19th international symposium lopstr 2009 coimbra portugal september 2009 revised selected papers |
| title_sub | 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009; revised selected papers |
| topic | Programmierlogik (DE-588)4047408-2 gnd Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Beweistheorie (DE-588)4145177-6 gnd Programmsynthese (DE-588)4295513-0 gnd |
| topic_facet | Programmierlogik Programmtransformation Logische Programmierung Beweistheorie Programmsynthese Konferenzschrift 2009 Coimbra |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3442341&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=020299141&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT deschreyedanny logicbasedprogramsynthesisandtransformation19thinternationalsymposiumlopstr2009coimbraportugalseptember2009revisedselectedpapers AT lopstrcoimbra logicbasedprogramsynthesisandtransformation19thinternationalsymposiumlopstr2009coimbraportugalseptember2009revisedselectedpapers |