Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
8981 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XII, 333 p. 61 illus) |
| ISBN: | 9783319178226 9783319178219 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-17822-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042544577 | ||
| 003 | DE-604 | ||
| 005 | 20150518 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150506s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319178226 |c Online |9 978-3-319-17822-6 | ||
| 020 | |a 9783319178219 |c Print |9 978-3-319-17821-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-17822-6 |2 doi | |
| 035 | |a (OCoLC)908701638 | ||
| 035 | |a (DE-599)BVBBV042544577 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Logic-Based Program Synthesis and Transformation |b 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers |c edited by Maurizio Proietti, Hirohisa Seki |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XII, 333 p. 61 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 8981 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 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 Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |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 2014 |z canterbury |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 | 3 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 4 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Proietti, Maurizio |d 1959- |e Sonstige |0 (DE-588)107107508X |4 oth | |
| 711 | 2 | |a LOPSTR |n 24. |d 2014 |c Canterbury |j Sonstige |0 (DE-588)1070922056 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 8981 |w (DE-604)BV014880109 |9 8981 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-17822-6 |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=027978583&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=027978583&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027978583 | ||
Datensatz im Suchindex
| _version_ | 1804153310283825152 |
|---|---|
| adam_text | LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
/ PROIETTI, MAURIZIO
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INVITED TALKS.-OBSCURING CODE: UNVEILING AND VEILING INFORMATION IN
PROGRAMS
SYNTHESIZING FUNCTIONS FROM RELATIONS IN LEON
PROGRAM ANALYSIS AND TRANSFORMATION
ANALYZING ARRAY MANIPULATING PROGRAMS BY PROGRAM TRANSFORMATION
ANALYSING AND COMPILING COROUTINES WITH ABSTRACT CONJUNCTIVE PARTIAL
DEDUCTION
CONSTRAINT HANDLING RULES
CONFLUENCE MODULO EQUIVALENCE IN CONSTRAINT HANDLING RULES
EXHAUSTIVE EXECUTION OF CHR THROUGH SOURCE-TO-SOURCE TRANSFORMATION
A FORMAL SEMANTICS FOR THE COGNITIVE ARCHITECTURE ACT-R
CHRANIMATION: AN ANIMATION TOOL FOR CONSTRAINT HANDLING RULES
TERMINATION ANALYSIS
EXTENDING THE 2D DEPENDENCY PAIR FRAMEWORK FOR CONDITIONAL TERM
REWRITING SYSTEMS
SECURITY.-PARTIAL EVALUATION FOR JAVA MALWARE DETECTION
ACCESS CONTROL AND OBLIGATIONS IN THE CATEGORY-BASED METAMODEL: A
REWRITEBASED SEMANTICS
PROGRAM TESTING AND VERIFICATION
CONCOLIC EXECUTION AND TEST-CASE GENERATION IN PROLOG
LIVENESS PROPERTIES IN CAFEOBJ - A CASE STUDY FOR META-LEVEL
SPECIFICATIONS
PROGRAM SYNTHESIS
A HYBRID METHOD FOR THE VERIFICATION AND SYNTHESIS OF PARAMETERIZED
SELF-STABILIZING PROTOCOLS
DRILL & JOIN: A METHOD FOR INDUCTIVE PROGRAM SYNTHESIS
PROGRAM DERIVATION
FUNCTIONAL KLEENE CLOSURES
SEMANTIC ISSUES IN LOGIC PROGRAMMING
ON COMPLETENESS OF LOGIC PROGRAMS
POLYNOMIAL APPROXIMATION TOWELL-FOUNDED SEMANTICS FOR LOGIC PROGRAMS
WITH GENERALIZED ATOMS: CASE STUDIES
PROGRAM TRANSFORMATION AND OPTIMIZATION
DECLARATIVE COMPILATION FOR CONSTRAINT LOGIC PROGRAMMING
PRE-INDEXED TERMS FOR PROLOG
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
/ PROIETTI, MAURIZIO
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-CONFERENCE
PROCEEDINGS OF THE 24TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM
SYNTHESIS AND TRANSFORMATION, LOPSTR 2014, HELD IN CANTERBURY, UK, IN
SEPTEMBER 2014. THE 18 REVISED FULL PAPERS PRESENTED TOGETHER WITH 2
INVITED TALKS WERE CAREFULLY REVIEWED AND SELECTED FROM 34 SUBMISSIONS.
THE AIM OF THE LOPSTR SERIES IS TO STIMULATE AND PROMOTE INTERNATIONAL
RESEARCH AND COLLABORATION ON LOGIC-BASED PROGRAM DEVELOPMENT. THE
PAPERS ARE ORGANIZED ALONG A SET OF THEMATIC TRACKS: PROGRAM ANALYSIS
AND TRANSFORMATION, CONSTRAINT HANDLING RULES, TERMINATION ANALYSIS,
SECURITY, PROGRAM TESTING AND VERIFICATION, PROGRAM SYNTHESIS, PROGRAM
DERIVATION, SEMANTIC ISSUES IN LOGIC PROGRAMMING, AND PROGRAM
TRANSFORMATION AND OPTIMIZATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)107107508X |
| building | Verbundindex |
| bvnumber | BV042544577 |
| classification_tum | DAT 706f DAT 325f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)908701638 (DE-599)BVBBV042544577 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-17822-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03526nmm a2200733zcb4500</leader><controlfield tag="001">BV042544577</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150518 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150506s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319178226</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-17822-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319178219</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-17821-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-17822-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908701638</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042544577</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</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="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">Logic-Based Program Synthesis and Transformation</subfield><subfield code="b">24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers</subfield><subfield code="c">edited by Maurizio Proietti, Hirohisa Seki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 333 p. 61 illus)</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">8981</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">2014</subfield><subfield code="z">canterbury</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="3"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Proietti, Maurizio</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)107107508X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LOPSTR</subfield><subfield code="n">24.</subfield><subfield code="d">2014</subfield><subfield code="c">Canterbury</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1070922056</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">8981</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8981</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-17822-6</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=027978583&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=027978583&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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027978583</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 canterbury gnd-content |
| genre_facet | Konferenzschrift 2014 canterbury |
| id | DE-604.BV042544577 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:24:34Z |
| institution | BVB |
| institution_GND | (DE-588)1070922056 |
| isbn | 9783319178226 9783319178219 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027978583 |
| oclc_num | 908701638 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 333 p. 61 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers edited by Maurizio Proietti, Hirohisa Seki Cham Springer International Publishing 2015 1 Online-Ressource (XII, 333 p. 61 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8981 0302-9743 Computer science Software engineering Logic design Computational complexity Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Programmtransformation (DE-588)4263654-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 canterbury gnd-content Logische Programmierung (DE-588)4195096-3 s Programmsynthese (DE-588)4295513-0 s Programmtransformation (DE-588)4263654-1 s Programmverifikation (DE-588)4135576-3 s Formale Methode (DE-588)4333722-3 s DE-604 Proietti, Maurizio 1959- Sonstige (DE-588)107107508X oth LOPSTR 24. 2014 Canterbury Sonstige (DE-588)1070922056 oth Lecture Notes in Computer Science 8981 (DE-604)BV014880109 8981 https://doi.org/10.1007/978-3-319-17822-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978583&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=027978583&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers Lecture Notes in Computer Science Computer science Software engineering Logic design Computational complexity Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Formale Methode (DE-588)4333722-3 gnd Programmverifikation (DE-588)4135576-3 gnd Programmsynthese (DE-588)4295513-0 gnd |
| subject_GND | (DE-588)4263654-1 (DE-588)4195096-3 (DE-588)4333722-3 (DE-588)4135576-3 (DE-588)4295513-0 (DE-588)1071861417 |
| title | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers |
| title_auth | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers |
| title_exact_search | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers |
| title_full | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers edited by Maurizio Proietti, Hirohisa Seki |
| title_fullStr | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers edited by Maurizio Proietti, Hirohisa Seki |
| title_full_unstemmed | Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers edited by Maurizio Proietti, Hirohisa Seki |
| title_short | Logic-Based Program Synthesis and Transformation |
| title_sort | logic based program synthesis and transformation 24th international symposium lopstr 2014 canterbury uk september 9 11 2014 revised selected papers |
| title_sub | 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers |
| topic | Computer science Software engineering Logic design Computational complexity Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Formale Methode (DE-588)4333722-3 gnd Programmverifikation (DE-588)4135576-3 gnd Programmsynthese (DE-588)4295513-0 gnd |
| topic_facet | Computer science Software engineering Logic design Computational complexity Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Programmtransformation Logische Programmierung Formale Methode Programmverifikation Programmsynthese Konferenzschrift 2014 canterbury |
| url | https://doi.org/10.1007/978-3-319-17822-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978583&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=027978583&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT proiettimaurizio logicbasedprogramsynthesisandtransformation24thinternationalsymposiumlopstr2014canterburyukseptember9112014revisedselectedpapers AT lopstrcanterbury logicbasedprogramsynthesisandtransformation24thinternationalsymposiumlopstr2014canterburyukseptember9112014revisedselectedpapers |