Verfügbarkeit: Logic based program synthesis and transformation

Logic based program synthesis and transformation: 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7844
Schlagworte:	Formale Methode Programmtransformation Logische Programmierung Programmverifikation Programmsynthese Konferenzschrift > 2012 > Löwen
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 243 S. Ill., graph. Darst. 235 mm x 155 mm
ISBN:	3642381960 9783642381966

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041091986
003	DE-604
005	20140306
007	t\|
008	130617s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13N17 \|2 dnb
016	7		\|a 1033487619 \|2 DE-101
020			\|a 3642381960 \|c : Pb. : ca. EUR 49.22 (DE) \|9 3-642-38196-0
020			\|a 9783642381966 \|c : Pb. : ca. EUR 49.22 (DE) \|9 978-3-642-38196-6
035			\|a (OCoLC)851698486
035			\|a (DE-599)DNB1033487619
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 005.115 \|2 22/ger
084			\|a DAT 706f \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Logic based program synthesis and transformation \|b 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers \|c Elvira Albert (ed.)
246	1		\|a Logic-based program synthesis and transformation
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a X, 243 S. \|b Ill., 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 7844
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|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 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 2012 \|z Löwen \|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 Albert, Elvira \|e Sonstige \|0 (DE-588)1036116271 \|4 oth
711	2		\|a LOPSTR \|n 22 \|d 2012 \|c Löwen \|j Sonstige \|0 (DE-588)103611662X \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-38197-3
830		0	\|a Lecture notes in computer science \|v 7844 \|w (DE-604)BV000000607 \|9 7844
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4297168&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=026068560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026068560

Datensatz im Suchindex

_version_	1820875462027509760
adam_text	TABLE OF CONTENTS SYMBOLIC EVALUATION GRAPHS AND TERM REWRITING * A GENERAL METHODOLOGY FOR ANALYZING LOGIC PROGRAMS (ABSTRACT) 1 JIIRGEN GIESL, THOMAS STRDDER, PETER SCHNEIDER-KAMP, FABIAN EMMES, AND CARSTEN FUHS AN INTRODUCTION TO SEARCH COMBINATORS 2 TOM SCHRIJVERS, GUIDO TACK, PIETER WUILLE, HORST SAMULOWITZ, AND PETER J. STUCKEY A DECLARATIVE PIPELINE LANGUAGE FOR COMPLEX DATA ANALYSIS 17 HENNING CHRISTIANSEN, CHRISTIAN THEIL HAVE, OLE TORP LASSEN, AND MATTHIEU PETIT SEMANTIC CODE CLONES IN LOGIC PROGRAMS 35 CELINE DANDOIS AND WIM VANHOOF SPECIALIZATION WITH CONSTRAINED GENERALIZATION FOR SOFTWARE MODEL CHECKING 51 EMANUELE DE ANGELIS, FABIO FIORAVANTI, ALBERTO PETTOROSSI, AND MAURIZIO PROIETTI ENHANCING DECLARATIVE DEBUGGING WITH LOOP EXPANSION AND TREE COMPRESSION 71 DAVID INSA, JOSEP SILVA, AND CESAR TOMDS XACML 3.0 IN ANSWER SET PROGRAMMING 89 CARROLINE DEWI PUSPA KENCANA RAMLI, HANNE RIIS NIELSON, AND FLEMMING NIELSON TYPES VS. PDGS IN INFORMATION FLOW ANALYSIS 106 HEIKO MANTEL AND HENNING SUDBROCK GALLIWASP: A GOAL-DIRECTED ANSWER SET SOLVER 122 KYLE MARPLE AND GOPAL GUPTA COMPUTING MORE SPECIFIC VERSIONS OF CONDITIONAL REWRITING SYSTEMS . . . 137 NAOKI NISHIDA AND GERMAN VIDAL IMPROVING DETERMINIZATION OF GRAMMAR PROGRAMS FOR PROGRAM INVERSION 155 MINAMI NIWA, NAOKI NISHIDA, AND MASAHIKO SAKAI HTTP://D-NB.INFO/1033487619 X TABLE OF CONTENTS A FRAMEWORK FOR GUIDED TEST CASE GENERATION IN CONSTRAINT LOGIC PROGRAMMING 176 JOSE MIGUEL ROJAS AND MIGUEL GOMEZ-ZAMALLOA SIMPLIFYING THE VERIFICATION OF QUANTIFIED ARRAY ASSERTIONS VIA CODE TRANSFORMATION 194 MOHAMED NASSIM SEGHIR AND MARTIN BRAIN PROVING PROPERTIES OF CO-LOGIC PROGRAMS WITH NEGATION BY PROGRAM TRANSFORMATIONS 213 HIROHISA SEKI PROGRAM ANALYSIS AND MANIPULATION TO REPRODUCE LEARNERS' ERRONEOUS REASONING 228 CLAUS ZINN AUTHOR INDEX 245
any_adam_object	1
author_GND	(DE-588)1036116271
building	Verbundindex
bvnumber	BV041091986
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 325f
ctrlnum	(OCoLC)851698486 (DE-599)DNB1033487619
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">BV041091986</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140306</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130617s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13N17</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1033487619</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642381960</subfield><subfield code="c">: Pb. : ca. EUR 49.22 (DE)</subfield><subfield code="9">3-642-38196-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642381966</subfield><subfield code="c">: Pb. : ca. EUR 49.22 (DE)</subfield><subfield code="9">978-3-642-38196-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)851698486</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1033487619</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</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">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">22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers</subfield><subfield code="c">Elvira Albert (ed.)</subfield></datafield><datafield tag="246" ind1="1" ind2=" "><subfield code="a">Logic-based program synthesis and transformation</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 243 S.</subfield><subfield code="b">Ill., 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">7844</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">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">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">2012</subfield><subfield code="z">Löwen</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">Albert, Elvira</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1036116271</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LOPSTR</subfield><subfield code="n">22</subfield><subfield code="d">2012</subfield><subfield code="c">Löwen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)103611662X</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-38197-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7844</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7844</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4297168&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=026068560&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-026068560</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Löwen gnd-content
genre_facet	Konferenzschrift 2012 Löwen
id	DE-604.BV041091986
illustrated	Illustrated
indexdate	2025-01-10T15:16:01Z
institution	BVB
institution_GND	(DE-588)103611662X
isbn	3642381960 9783642381966
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026068560
oclc_num	851698486
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	X, 243 S. Ill., graph. Darst. 235 mm x 155 mm
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers Elvira Albert (ed.) Logic-based program synthesis and transformation Berlin [u.a.] Springer 2013 X, 243 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7844 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Löwen 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 Albert, Elvira Sonstige (DE-588)1036116271 oth LOPSTR 22 2012 Löwen Sonstige (DE-588)103611662X oth Erscheint auch als Online-Ausgabe 978-3-642-38197-3 Lecture notes in computer science 7844 (DE-604)BV000000607 7844 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4297168&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=026068560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmverifikation (DE-588)4135576-3 gnd Programmsynthese (DE-588)4295513-0 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4263654-1 (DE-588)4195096-3 (DE-588)4135576-3 (DE-588)4295513-0 (DE-588)1071861417
title	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers
title_alt	Logic-based program synthesis and transformation
title_auth	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers
title_exact_search	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers
title_full	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers Elvira Albert (ed.)
title_fullStr	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers Elvira Albert (ed.)
title_full_unstemmed	Logic based program synthesis and transformation 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers Elvira Albert (ed.)
title_short	Logic based program synthesis and transformation
title_sort	logic based program synthesis and transformation 22nd international symposium lopstr 2012 leuven belgium september 18 20 2012 revised selected papers
title_sub	22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18 - 20, 2012 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Programmtransformation (DE-588)4263654-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmverifikation (DE-588)4135576-3 gnd Programmsynthese (DE-588)4295513-0 gnd
topic_facet	Formale Methode Programmtransformation Logische Programmierung Programmverifikation Programmsynthese Konferenzschrift 2012 Löwen
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4297168&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=026068560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT albertelvira logicbasedprogramsynthesisandtransformation22ndinternationalsymposiumlopstr2012leuvenbelgiumseptember18202012revisedselectedpapers AT lopstrlowen logicbasedprogramsynthesisandtransformation22ndinternationalsymposiumlopstr2012leuvenbelgiumseptember18202012revisedselectedpapers AT albertelvira logicbasedprogramsynthesisandtransformation AT lopstrlowen logicbasedprogramsynthesisandtransformation

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge