000726919 000__ 04491cam\a2200517Ii\4500
000726919 001__ 726919
000726919 005__ 20230306140844.0
000726919 006__ m\\\\\o\\d\\\\\\\\
000726919 007__ cr\cn\nnnunnun
000726919 008__ 150505s2015\\\\sz\a\\\\o\\\\\101\0\eng\d
000726919 020__ $$a9783319178226$$qelectronic book
000726919 020__ $$a3319178229$$qelectronic book
000726919 020__ $$z9783319178219
000726919 0247_ $$a10.1007/978-3-319-17822-6$$2doi
000726919 035__ $$aSP(OCoLC)ocn908387319
000726919 035__ $$aSP(OCoLC)908387319
000726919 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dUPM$$dVLB
000726919 049__ $$aISEA
000726919 050_4 $$aQA76.63$$b.L65 2015eb
000726919 08204 $$a005.1/15$$223
000726919 1112_ $$aLOPSTR (Symposium)$$n(24th :$$d2014 :$$cCanterbury, England)
000726919 24510 $$aLogic-based program synthesis and transformation$$h[electronic resource] :$$b24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /$$cMaurizio Proietti, Hirohisa Seki (eds.).
000726919 2463_ $$aLOPSTR 2014
000726919 264_1 $$aCham :$$bSpringer,$$c2015.
000726919 300__ $$a1 online resource (xii, 333 pages) :$$billustrations.
000726919 336__ $$atext$$btxt$$2rdacontent
000726919 337__ $$acomputer$$bc$$2rdamedia
000726919 338__ $$aonline resource$$bcr$$2rdacarrier
000726919 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v8981
000726919 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000726919 500__ $$aIncludes author index.
000726919 5050_ $$aInvited 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.
000726919 506__ $$aAccess limited to authorized users.
000726919 520__ $$aThis 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.
000726919 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 5, 2015).
000726919 650_0 $$aLogic programming$$vCongresses.
000726919 650_0 $$aComputer logic$$vCongresses.
000726919 650_0 $$aComputer software$$xDevelopment$$vCongresses.
000726919 7001_ $$aProietti, Maurizio,$$d1959-$$eeditor.
000726919 7001_ $$aSeki, Hirohisa,$$eeditor.
000726919 830_0 $$aLecture notes in computer science ;$$v8981.
000726919 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000726919 852__ $$bebk
000726919 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-17822-6$$zOnline Access$$91397441.1
000726919 909CO $$ooai:library.usi.edu:726919$$pGLOBAL_SET
000726919 980__ $$aEBOOK
000726919 980__ $$aBIB
000726919 982__ $$aEbook
000726919 983__ $$aOnline
000726919 994__ $$a92$$bISE