000			03120nam a22006015i 4500
001			978-3-642-12592-8
003			DE-He213
005			20240423125738.0
007			cr nn 008mamaa
008			100428s2010 gw | s |||| 0|eng d
020			_a9783642125928 _9978-3-642-12592-8
024	7		_a10.1007/978-3-642-12592-8 _2doi
050		4	_aQA76.6-76.66
072		7	_aUM _2bicssc
072		7	_aCOM051000 _2bisacsh
072		7	_aUM _2thema
082	0	4	_a005.11 _223
245	1	0	_aLogic-Based Program Synthesis and Transformation _h[electronic resource] : _b19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / _cedited by Danny De Schreye.
250			_a1st ed. 2010.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2010.
300			_aX, 205 p. 29 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6037
505	0		_aTowards Scalable Partial Evaluation of Declarative Programs -- Deciding Full Branching Time Logic by Program Transformation -- A Transformational Approach for Proving Properties of the CHR Constraint Store -- The Dependency Triple Framework for Termination of Logic Programs -- Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing -- LP with Flexible Grouping and Aggregates Using Modes -- On Inductive and Coinductive Proofs via Unfold/Fold Transformations -- Coinductive Logic Programming with Negation -- Refining Exceptions in Four-Valued Logic -- Towards a Framework for Constraint-Based Test Case Generation -- Using Rewrite Strategies for Testing BUpL Agents -- Towards Just-In-Time Partial Evaluation of Prolog -- Program Parallelization Using Synchronized Pipelining -- Defining Datalog in Rewriting Logic.
650		0	_aComputer programming.
650		0	_aSoftware engineering.
650		0	_aCompilers (Computer programs).
650		0	_aComputer science.
650		0	_aMachine theory.
650		0	_aArtificial intelligence.
650	1	4	_aProgramming Techniques.
650	2	4	_aSoftware Engineering.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aFormal Languages and Automata Theory.
650	2	4	_aArtificial Intelligence.
700	1		_aDe Schreye, Danny. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783642125911
776	0	8	_iPrinted edition: _z9783642125935
830		0	_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6037
856	4	0	_uhttps://doi.org/10.1007/978-3-642-12592-8
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c181265 _d181265