000796583 000__ 04531cam\a2200553Ii\4500
000796583 001__ 796583
000796583 005__ 20230306143536.0
000796583 006__ m\\\\\o\\d\\\\\\\\
000796583 007__ cr\cnunnnunuuu
000796583 008__ 170804s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000796583 019__ $$a999439892
000796583 020__ $$a9783319631394$$q(electronic book)
000796583 020__ $$a331963139X$$q(electronic book)
000796583 020__ $$z9783319631387
000796583 020__ $$z3319631381
000796583 0247_ $$a10.1007/978-3-319-63139-4$$2doi
000796583 035__ $$aSP(OCoLC)ocn999401470
000796583 035__ $$aSP(OCoLC)999401470$$z(OCoLC)999439892
000796583 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dNJR$$dUAB
000796583 049__ $$aISEA
000796583 050_4 $$aQA76.63
000796583 08204 $$a005.1/15$$223
000796583 1112_ $$aLOPSTR (Symposium)$$n(26th :$$d2016 :$$cEdinburgh, Scotland)
000796583 24510 $$aLogic-based program synthesis and transformation :$$b26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /$$cManuel V Hermenegildo, Pedro Lopez-Garcia (eds.).
000796583 2463_ $$aLOPSTR 2016
000796583 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000796583 300__ $$a1 online resource (xvi, 361 pages) :$$billustrations.
000796583 336__ $$atext$$btxt$$2rdacontent
000796583 337__ $$acomputer$$bc$$2rdamedia
000796583 338__ $$aonline resource$$bcr$$2rdacarrier
000796583 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10184
000796583 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000796583 500__ $$aIncludes author index.
000796583 5050_ $$aPartial Evaluation of Order-sorted Equational Programs modulo Axioms -- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using Constrained Horn Clauses -- MiniZinc with Strings -- Slicing Concurrent Constraint Programs -- A New Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming -- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs -- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators -- A Productivity Checker for Logic Programming -- Symbolic Abstract Contract Synthesis in a Rewriting Framework -- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs -- CurryCheck: Checking Properties of Curry Programs -- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms -- A Reversible Semantics for Erlang -- Scaling Bounded Model Checking By Transforming Programs With Arrays -- Coinductive Soundness of Corecursive Type Class Resolution -- Nominal Unification of Higher Order Expressions with Recursive Let -- Automata Theory Approach to Predicate Intuitionistic Logic.
000796583 506__ $$aAccess limited to authorized users.
000796583 520__ $$aThis book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
000796583 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 4, 2017).
000796583 650_0 $$aLogic programming$$vCongresses.
000796583 650_0 $$aComputer logic$$vCongresses.
000796583 650_0 $$aComputer software$$xDevelopment$$vCongresses.
000796583 7001_ $$aHermenegildo, Manuel,$$eeditor.
000796583 7001_ $$aLopez-Garcia, Pedro,$$eeditor.
000796583 77608 $$iPrint version:$$z3319631381$$z9783319631387$$w(OCoLC)991683829
000796583 830_0 $$aLecture notes in computer science ;$$v10184.
000796583 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000796583 852__ $$bebk
000796583 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-63139-4$$zOnline Access$$91397441.1
000796583 909CO $$ooai:library.usi.edu:796583$$pGLOBAL_SET
000796583 980__ $$aEBOOK
000796583 980__ $$aBIB
000796583 982__ $$aEbook
000796583 983__ $$aOnline
000796583 994__ $$a92$$bISE