000 02971nam a22005895i 4500
001 978-3-540-45142-6
003 DE-He213
005 20240423132509.0
007 cr nn 008mamaa
008 121227s2001 gw | s |||| 0|eng d
020 _a9783540451426
_9978-3-540-45142-6
024 7 _a10.1007/3-540-45142-0
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aLogic Based Program Synthesis and Transformation
_h[electronic resource] :
_b10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
_cedited by Kung-Kiu Lau.
250 _a1st ed. 2001.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2001.
300 _aVIII, 188 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2042
505 0 _aSynthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols between Programs and Proofs -- Protocols between Programs and Proofs -- A Technique for Modular Logic Program Refinement -- A Technique for Modular Logic Program Refinement -- Transformation -- Higher-Order Transformation of Logic Programs -- Analysis -- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing Compilation -- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages -- Automated Strategies for Specializing Constraint Logic Programs -- Abstract Interpretation -- Measuring the Precision of Abstract Interpretations -- Debugging -- Specifying Prolog Trace Models with a Continuation Semantics.
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aComputer programming.
650 0 _aArtificial intelligence.
650 0 _aMachine theory.
650 1 4 _aSoftware Engineering.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aProgramming Techniques.
650 2 4 _aArtificial Intelligence.
650 2 4 _aFormal Languages and Automata Theory.
700 1 _aLau, Kung-Kiu.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540421276
776 0 8 _iPrinted edition:
_z9783662190517
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2042
856 4 0 _uhttps://doi.org/10.1007/3-540-45142-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188401
_d188401