Logic-based program synthesis and transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture Notes in Computer Science
5438 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Item Description: | Logic-based program synthesis and transformation |
| Physical Description: | VIII, 184 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642005145 3642005144 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035383746 | ||
| 003 | DE-604 | ||
| 005 | 20090506 | ||
| 007 | t| | ||
| 008 | 090320s2009 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 992498643 |2 DE-101 | |
| 020 | |a 9783642005145 |c PB. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-00514-5 | ||
| 020 | |a 3642005144 |9 3-642-00514-4 | ||
| 024 | 3 | |a 9783642005145 | |
| 028 | 5 | 2 | |a 12620142 |
| 035 | |a (OCoLC)310400691 | ||
| 035 | |a (DE-599)DNB992498643 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-19 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 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 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers |c Michael Hanus (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a VIII, 184 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5438 | |
| 500 | |a Logic-based program synthesis and transformation | ||
| 650 | 4 | |a Funktionale Programmierung - Kongress - Valencia <2008> | |
| 650 | 4 | |a Logische Programmierung - Programmsynthese - Kongress - Valencia <2008> | |
| 650 | 4 | |a Logische Programmierung - Programmtransformation - Kongress - Valencia <2008> | |
| 650 | 4 | |a Softwareentwicklung - Komponente <Software> - Kongress - Valencia <2008> | |
| 650 | 4 | |a Testmustergenerierung - Constraint-logische Programmierung - Kongress - Valencia <2008> | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Testmustergenerierung |0 (DE-588)4234817-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |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 Constraint-logische Programmierung |0 (DE-588)4382849-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmsynthese |0 (DE-588)4295513-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Valencia |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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 1 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Testmustergenerierung |0 (DE-588)4234817-1 |D s |
| 689 | 3 | 1 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Hanus, Michael |d 1959- |e Sonstige |0 (DE-588)1011507609 |4 oth | |
| 711 | 2 | |a LOPSTR |n 18 |d 2008 |c Valencia |j Sonstige |0 (DE-588)16002440-7 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5438 |w (DE-604)BV000000607 |9 5438 | |
| 856 | 4 | 2 | |u http://d-nb.info/992498643/04 |3 Inhaltsverzeichnis |
| 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=017187970&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017187970 | |
Record in the Search Index
| _version_ | 1826212255794987008 |
|---|---|
| adam_text |
TABLE OF CONTENTS
SPACE INVADING SYSTEMS CODE (INVITED TALK) 1
CRISTIANO CALCAGNO, DINO DISTEFANO, PETER O'HEARN, AND
HONGSEOK
YANG
TEST DATA GENERATION OF BYTECODE BY CLP PARTIAL EVALUATION 4
ELVIRA
ALBERT, MIGUEL GOMEZ-ZAMALLOA. AND GERMAN PUEBLA
A MODULAR EQUATIONAL GENERALIZATION ALGORITHM 24
MARIA ALPUENTE, SANTIAGO ESCOBAR, JOSE MESEGUER, AND PEDRO OJEDA
A TRANSFORMATIONAL APPROACH TO POLYVARIANT BTA OF HIGHER-ORDER
FUNCTIONAL
PROGRAMS 40
GUSTAVO ARROYO, J- GUADALUPE RAMOS, SALVADOR TAMARIT, AND
GERMAN
VIDAL
ANALYSIS OF LINEAR HYBRID SYSTEMS IN CLP 55
GOURINATH BANDA AND JOHN P. GALLAGHER
AUTOMATIC GENERATION OF TEST INPUTS FOR MERCURY 71
FRANCOIS
DEGRAVE,
TOM SCHRIJVERS, AND WIM VANHOOF
ANALYTICAL INDUCTIVE FUNCTIONAL PROGRAMMING 87
EMANUEL KITZELMANN
THE MEB AND CEB STATIC ANALYSIS FOR CSP SPECIFICATIONS 103
MICHAEL
LEUSCHEL, MARISA LLORENS, JAVIER OLIVER, JOSEP SILVA, AND
SALVADOR
TAMARIT
FAST OFFLINE PARTIAL EVALUATION OF LARGE LOGIC PROGRAMS 119
MICHAEL LEUSCHEL AND GERMAN VIDAL
AN INFERENCE ALGORITHM FOR GUARANTEEING SAFE DESTRUCTION 135
MANUEL
MONTENEGRO, RICARDO PENA, AND CLARA SEGURA
FROM MONOMORPHIC TO POLYMORPHIC WELL-TYPINGS AND BEYOND 152
TOM
SCHRIJVERS, MAURICE BRUYNOOGHE, AND JOHN P. GALLAGHER
ON NEGATIVE UNFOLDING IN THE ANSWER SET SEMANTICS 168
HIROHISA SEKI
AUTHOR INDEX
185
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/992498643
DIGITALISIERT DURCH |
| any_adam_object | 1 |
| author_GND | (DE-588)1011507609 |
| building | Verbundindex |
| bvnumber | BV035383746 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 325f |
| ctrlnum | (OCoLC)310400691 (DE-599)DNB992498643 |
| 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">BV035383746</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090506</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090320s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992498643</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642005145</subfield><subfield code="c">PB. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-00514-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642005144</subfield><subfield code="9">3-642-00514-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642005145</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12620142</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310400691</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992498643</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</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">18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers</subfield><subfield code="c">Michael Hanus (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 184 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5438</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Logic-based program synthesis and transformation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Funktionale Programmierung - Kongress - Valencia <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logische Programmierung - Programmsynthese - Kongress - Valencia <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logische Programmierung - Programmtransformation - Kongress - Valencia <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Komponente <Software> - Kongress - Valencia <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Testmustergenerierung - Constraint-logische Programmierung - Kongress - Valencia <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</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">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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">2008</subfield><subfield code="z">Valencia</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hanus, Michael</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1011507609</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LOPSTR</subfield><subfield code="n">18</subfield><subfield code="d">2008</subfield><subfield code="c">Valencia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16002440-7</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">5438</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5438</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://d-nb.info/992498643/04</subfield><subfield code="3">Inhaltsverzeichnis</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=017187970&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-017187970</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Valencia gnd-content |
| genre_facet | Konferenzschrift 2008 Valencia |
| id | DE-604.BV035383746 |
| illustrated | Illustrated |
| indexdate | 2025-03-10T13:02:01Z |
| institution | BVB |
| institution_GND | (DE-588)16002440-7 |
| isbn | 9783642005145 3642005144 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017187970 |
| oclc_num | 310400691 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | VIII, 184 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Michael Hanus (ed.) Berlin [u.a.] Springer 2009 VIII, 184 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5438 Logic-based program synthesis and transformation Funktionale Programmierung - Kongress - Valencia <2008> Logische Programmierung - Programmsynthese - Kongress - Valencia <2008> Logische Programmierung - Programmtransformation - Kongress - Valencia <2008> Softwareentwicklung - Komponente <Software> - Kongress - Valencia <2008> Testmustergenerierung - Constraint-logische Programmierung - Kongress - Valencia <2008> Logic programming Congresses Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Constraint-logische Programmierung (DE-588)4382849-8 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Valencia gnd-content Logische Programmierung (DE-588)4195096-3 s Programmsynthese (DE-588)4295513-0 s DE-604 Programmtransformation (DE-588)4263654-1 s Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s Testmustergenerierung (DE-588)4234817-1 s Constraint-logische Programmierung (DE-588)4382849-8 s Funktionale Programmierung (DE-588)4198740-8 s Hanus, Michael 1959- Sonstige (DE-588)1011507609 oth LOPSTR 18 2008 Valencia Sonstige (DE-588)16002440-7 oth Lecture Notes in Computer Science 5438 (DE-604)BV000000607 5438 http://d-nb.info/992498643/04 Inhaltsverzeichnis DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017187970&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Lecture Notes in Computer Science Funktionale Programmierung - Kongress - Valencia <2008> Logische Programmierung - Programmsynthese - Kongress - Valencia <2008> Logische Programmierung - Programmtransformation - Kongress - Valencia <2008> Softwareentwicklung - Komponente <Software> - Kongress - Valencia <2008> Testmustergenerierung - Constraint-logische Programmierung - Kongress - Valencia <2008> Logic programming Congresses Testmustergenerierung (DE-588)4234817-1 gnd Komponente Software (DE-588)4439521-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmtransformation (DE-588)4263654-1 gnd Programmsynthese (DE-588)4295513-0 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4234817-1 (DE-588)4439521-8 (DE-588)4195096-3 (DE-588)4382849-8 (DE-588)4116522-6 (DE-588)4263654-1 (DE-588)4295513-0 (DE-588)4198740-8 (DE-588)1071861417 |
| title | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers |
| title_auth | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers |
| title_exact_search | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers |
| title_full | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Michael Hanus (ed.) |
| title_fullStr | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Michael Hanus (ed.) |
| title_full_unstemmed | Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Michael Hanus (ed.) |
| title_short | Logic-based program synthesis and transformation |
| title_sort | logic based program synthesis and transformation 18th international symposium lopstr 2008 valencia spain july 17 18 2008 revised selected papers |
| title_sub | 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers |
| topic | Funktionale Programmierung - Kongress - Valencia <2008> Logische Programmierung - Programmsynthese - Kongress - Valencia <2008> Logische Programmierung - Programmtransformation - Kongress - Valencia <2008> Softwareentwicklung - Komponente <Software> - Kongress - Valencia <2008> Testmustergenerierung - Constraint-logische Programmierung - Kongress - Valencia <2008> Logic programming Congresses Testmustergenerierung (DE-588)4234817-1 gnd Komponente Software (DE-588)4439521-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmtransformation (DE-588)4263654-1 gnd Programmsynthese (DE-588)4295513-0 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Funktionale Programmierung - Kongress - Valencia <2008> Logische Programmierung - Programmsynthese - Kongress - Valencia <2008> Logische Programmierung - Programmtransformation - Kongress - Valencia <2008> Softwareentwicklung - Komponente <Software> - Kongress - Valencia <2008> Testmustergenerierung - Constraint-logische Programmierung - Kongress - Valencia <2008> Logic programming Congresses Testmustergenerierung Komponente Software Logische Programmierung Constraint-logische Programmierung Softwareentwicklung Programmtransformation Programmsynthese Funktionale Programmierung Konferenzschrift 2008 Valencia |
| url | http://d-nb.info/992498643/04 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017187970&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hanusmichael logicbasedprogramsynthesisandtransformation18thinternationalsymposiumlopstr2008valenciaspainjuly17182008revisedselectedpapers AT lopstrvalencia logicbasedprogramsynthesisandtransformation18thinternationalsymposiumlopstr2008valenciaspainjuly17182008revisedselectedpapers |
There is no print copy available.
Indexes