Eintrag weiter verarbeiten
Online-Ressource

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Vidal, Germán (VerfasserIn)
Titel: Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers/ edited by Germán Vidal
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2012
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7225
Schlagwörter:
Logic design
Computational complexity
Computer science
Software engineering
Artificial intelligence
Computer Science
Computer programming.
Discrete mathematics.
Machine theory.
Konferenzschrift > 2011 > Odense
Konferenzschrift
Buchausg. u.d.T.: Logic-based program synthesis and transformation, Berlin : Springer, 2012, X, 252 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06224cam a22012852 4500
001 0-1651638233
003 DE-627
005 20240122105042.0
007 cr uuu---uuuuu
008 120801s2012 gw |||||o 00| ||eng c
020 |a 9783642322112  |9 978-3-642-32211-2 
024 7 |a 10.1007/978-3-642-32211-2  |2 doi 
035 |a (DE-627)1651638233 
035 |a (DE-576)369428684 
035 |a (DE-599)BSZ369428684 
035 |a (OCoLC)809042355 
035 |a (ZBM)1253.68022 
035 |a (ZBM)1253.68022 
035 |a (DE-He213)978-3-642-32211-2 
035 |a (EBP)040543706 
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.6-76.66 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68N30  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.71  |2 bkl 
084 |a 54.51  |2 bkl 
100 1 |a Vidal, Germán  |4 aut 
245 1 0 |a Logic-Based Program Synthesis and Transformation  |b 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers  |c edited by Germán Vidal 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2012 
300 |a Online-Ressource (X, 254 p. 61 illus, digital) 
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 7225 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
520 |a This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm. 
650 0 |a Logic design 
650 0 |a Computational complexity 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computational complexity 
650 0 |a Artificial intelligence 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Artificial intelligence 
650 0 |a Computer Science 
650 0 |a Computer programming. 
650 0 |a Discrete mathematics. 
650 0 |a Machine theory. 
655 7 |a Konferenzschrift  |y 2011  |z Odense  |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)4195096-3  |0 (DE-627)105214477  |0 (DE-576)210098767  |a Logische Programmierung  |2 gnd 
689 0 1 |D s  |0 (DE-588)4295513-0  |0 (DE-627)104170883  |0 (DE-576)210970715  |a Programmsynthese  |2 gnd 
689 0 2 |D s  |0 (DE-588)4263654-1  |0 (DE-627)104149574  |0 (DE-576)210616369  |a Programmtransformation  |2 gnd 
689 0 3 |D s  |0 (DE-588)4135576-3  |0 (DE-627)10566409X  |0 (DE-576)209661925  |a Programmverifikation  |2 gnd 
689 0 4 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 |5 DE-101 
776 1 |z 9783642322105 
776 0 8 |i Buchausg. u.d.T.  |t Logic-based program synthesis and transformation  |d Berlin : Springer, 2012  |h X, 252 S.  |w (DE-627)718855825  |w (DE-576)383857759  |z 3642322107  |z 9783642322105 
830 0 |a Lecture notes in computer science  |v 7225  |9 7225  |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-32211-2  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-32211-2  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz369428684cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20130405112905  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1253.68022  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
856 4 2 |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4068577&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
889 |w (DE-627)722258380 
912 |a ZDB-2-LNC  |b 2012 
912 |a ZDB-2-SCS  |b 2012 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2012 
912 |a ZDB-2-SEB  |b 2012 
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.71  |j Logikprogrammierung  |q SEPA  |0 (DE-627)106418912 
936 b k |a 54.51  |j Programmiermethodik  |q SEPA  |0 (DE-627)106418122 
951 |a BO 
950 |a Transformation 
950 |a Softwareentwicklung 
950 |a Softwaretransformation 
950 |a Software 
950 |a Programmsynthese 
950 |a Programm Synthesis 
950 |a Programmtransformation 
950 |a Prädikative Programmierung 
950 |a Programmierung 
950 |a Logische Programmiersprache 
950 |a Verifikation 
950 |a Hoare-Logik 
950 |a Formales Verfahren 
950 |a Methode 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-32211-2  |9 DE-14 
852 |a DE-14  |x epn:3351412878  |z 2012-08-01T10:10:58Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-32211-2  |9 DE-15 
852 |a DE-15  |x epn:3351412908  |z 2012-08-01T10:10:58Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-32211-2  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3351412959  |z 2012-08-01T10:10:58Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-32211-2  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3351413009  |z 2012-08-01T10:10:58Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-32211-2  |9 DE-520 
852 |a DE-520  |x epn:3351413068  |z 2012-08-01T10:10:58Z 
980 |a 1651638233  |b 0  |k 1651638233  |o 369428684 
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=Logic-Based+Program+Synthesis+and+Transformation%3A+21st+International+Symposium%2C+LOPSTR+2011%2C+Odense%2C+Denmark%2C+July+18-20%2C+2011.+Revised+Selected+Papers&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Logic-Based+Program+Synthesis+and+Transformation%3A+21st+International+Symposium%2C+LOPSTR+2011%2C+Odense%2C+Denmark%2C+July+18-20%2C+2011.+Revised+Selected+Papers&rft.series=Lecture+notes+in+computer+science%2C+7225&rft.au=Vidal%2C+Germ%C3%A1n&rft.pub=Springer&rft.edition=&rft.isbn=3642322115
SOLR
_version_ 1792253798042828800
access_facet Electronic Resources
author Vidal, Germán
author_facet Vidal, Germán
author_role aut
author_sort Vidal, Germán
author_variant g v gv
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.6-76.66
callnumber-search QA76.6-76.66
callnumber-sort QA 276.6 276.66
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
ctrlnum (DE-627)1651638233, (DE-576)369428684, (DE-599)BSZ369428684, (OCoLC)809042355, (ZBM)1253.68022, (DE-He213)978-3-642-32211-2, (EBP)040543706
de15_date 2012-08-01T10:10:58Z
dech1_date 2012-08-01T10:10:58Z
doi_str_mv 10.1007/978-3-642-32211-2
era_facet 2011
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Logische Programmierung, Programmsynthese, Programmtransformation, Programmverifikation, Formale Methode
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 2011 Odense (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 Odense
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7225
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1651638233
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2012
imprint_str_mv Berlin, Heidelberg: Springer, 2012
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1651638233
is_hierarchy_title Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
isbn 9783642322112
isbn_isn_mv 9783642322105, 3642322107
issn_isn_mv 1611-3349
kxp_id_str 1651638233
language English
last_indexed 2024-02-29T17:06:55.008Z
local_heading_facet_dezwi2 Logic design, Computational complexity, Computer science, Software engineering, Artificial intelligence, Computer Science, Computer programming., Discrete mathematics., Machine theory., Logische Programmierung, Programmsynthese, Programmtransformation, Programmverifikation, Formale Methode
marc024a_ct_mv 10.1007/978-3-642-32211-2
match_str vidal2012logicbasedprogramsynthesisandtransformation21stinternationalsymposiumlopstr2011odensedenmarkjuly18202011revisedselectedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7225
oclc_num 809042355
physical Online-Ressource (X, 254 p. 61 illus, digital)
publishDate 2012
publishDateSort 2012
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 369428684
recordtype marcfinc
rsn_id_str_mv (DE-15)3150205
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, 7225
series2 Lecture Notes in Computer Science ; 7225, SpringerLink ; Bücher
source_id 0
spelling Vidal, Germán aut, Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers edited by Germán Vidal, Berlin, Heidelberg Springer 2012, Online-Ressource (X, 254 p. 61 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7225, SpringerLink Bücher, Literaturangaben, This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm., Logic design, Computational complexity, Computer science, Software engineering, Artificial intelligence, Computer Science, Computer programming., Discrete mathematics., Machine theory., Konferenzschrift 2011 Odense (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)4195096-3 (DE-627)105214477 (DE-576)210098767 Logische Programmierung gnd, s (DE-588)4295513-0 (DE-627)104170883 (DE-576)210970715 Programmsynthese gnd, s (DE-588)4263654-1 (DE-627)104149574 (DE-576)210616369 Programmtransformation gnd, s (DE-588)4135576-3 (DE-627)10566409X (DE-576)209661925 Programmverifikation gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, DE-101, 9783642322105, Buchausg. u.d.T. Logic-based program synthesis and transformation Berlin : Springer, 2012 X, 252 S. (DE-627)718855825 (DE-576)383857759 3642322107 9783642322105, Lecture notes in computer science 7225 7225 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-32211-2 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-32211-2 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz369428684cov.jpg V:DE-576 X:springer image/jpeg 20130405112905 Cover, https://zbmath.org/?q=an:1253.68022 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4068577&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)722258380, http://dx.doi.org/10.1007/978-3-642-32211-2 DE-14, DE-14 epn:3351412878 2012-08-01T10:10:58Z, http://dx.doi.org/10.1007/978-3-642-32211-2 DE-15, DE-15 epn:3351412908 2012-08-01T10:10:58Z, http://dx.doi.org/10.1007/978-3-642-32211-2 DE-Ch1, DE-Ch1 epn:3351412959 2012-08-01T10:10:58Z, http://dx.doi.org/10.1007/978-3-642-32211-2 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3351413009 2012-08-01T10:10:58Z, http://dx.doi.org/10.1007/978-3-642-32211-2 DE-520, DE-520 epn:3351413068 2012-08-01T10:10:58Z
spellingShingle Vidal, Germán, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, Lecture notes in computer science, 7225, This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm., Logic design, Computational complexity, Computer science, Software engineering, Artificial intelligence, Computer Science, Computer programming., Discrete mathematics., Machine theory., Konferenzschrift 2011 Odense, Konferenzschrift, Logische Programmierung, Programmsynthese, Programmtransformation, Programmverifikation, Formale Methode
swb_id_str 369428684
title Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
title_auth Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
title_full Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers edited by Germán Vidal
title_fullStr Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers edited by Germán Vidal
title_full_unstemmed Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers edited by Germán Vidal
title_in_hierarchy 7225. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (2012)
title_short Logic-Based Program Synthesis and Transformation
title_sort logic based program synthesis and transformation 21st international symposium lopstr 2011 odense denmark july 18 20 2011 revised selected papers
title_sub 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
title_unstemmed Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
topic Logic design, Computational complexity, Computer science, Software engineering, Artificial intelligence, Computer Science, Computer programming., Discrete mathematics., Machine theory., Konferenzschrift 2011 Odense, Konferenzschrift, Logische Programmierung, Programmsynthese, Programmtransformation, Programmverifikation, Formale Methode
topic_facet Logic design, Computational complexity, Computer science, Software engineering, Artificial intelligence, Computer Science, Computer programming., Discrete mathematics., Machine theory., Konferenzschrift, Logische Programmierung, Programmsynthese, Programmtransformation, Programmverifikation, Formale Methode
url https://doi.org/10.1007/978-3-642-32211-2, http://dx.doi.org/10.1007/978-3-642-32211-2, https://swbplus.bsz-bw.de/bsz369428684cov.jpg, https://zbmath.org/?q=an:1253.68022, http://deposit.d-nb.de/cgi-bin/dokserv?id=4068577&prov=M&dok_var=1&dok_ext=htm