001482453 000__ 04329cam\\22006257i\4500
001482453 001__ 1482453
001482453 003__ OCoLC
001482453 005__ 20231128003337.0
001482453 006__ m\\\\\o\\d\\\\\\\\
001482453 007__ cr\un\nnnunnun
001482453 008__ 231018s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001482453 019__ $$a1404445324
001482453 020__ $$a9783031457845$$q(electronic bk.)
001482453 020__ $$a3031457846$$q(electronic bk.)
001482453 020__ $$z9783031457838$$q(print)
001482453 020__ $$z3031457838
001482453 0247_ $$a10.1007/978-3-031-45784-5$$2doi
001482453 035__ $$aSP(OCoLC)1404455148
001482453 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dYDX$$dOCLCO$$dOCLCF
001482453 049__ $$aISEA
001482453 050_4 $$aQA76.63$$b.L66 2023
001482453 08204 $$a005.1/15$$223/eng/20231018
001482453 1112_ $$aLOPSTR (Symposium)$$n(33rd :$$d2023 :$$cCascais, Portugal)
001482453 24510 $$aLogic-based program synthesis and transformation :$$b33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /$$cRobert Glück, Bishoksan Kafle, editors.
001482453 2463_ $$aLOPSTR 2023
001482453 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001482453 300__ $$a1 online resource (xii, 211 pages) :$$billustrations (some color).
001482453 336__ $$atext$$btxt$$2rdacontent
001482453 337__ $$acomputer$$bc$$2rdamedia
001482453 338__ $$aonline resource$$bcr$$2rdacarrier
001482453 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14330
001482453 500__ $$aIncludes author index.
001482453 5050_ $$aK eynotes -- Unification modulo equational theories in languages with binding operators -- Horn Clauses Analysis, Transformation and Synthesis -- Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples -- Transforming big-step to small-step semantics using interpreter specialisation -- Constrained Horn Clauses Satisfiability via Catamorphic Abstractions -- Static analysis and Type systems -- A reusable machine-calculus for automated resource analyses -- Approach for Designing and Composing Abstract Domains -- A Logical Interpretation of Asynchronous Multiparty Compatibility -- Relational Solver for Java Generics Type System -- Unification and substitution in (C)LP -- Predicate Anti-unification in (Constraint) Logic Programming -- A term matching algorithm and substitution generality -- Knowledge representation and AI-based learning -- A novel EGs-based framework for systematic propositional-formula simplification -- From Static to Dynamic Access Control Policies via Attribute-Based Category Mining -- Towards a Certified Proof Checker for Deep Neural Network Verification.
001482453 506__ $$aAccess limited to authorized users.
001482453 520__ $$aThis book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
001482453 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 18, 2023).
001482453 650_6 $$aProgrammation logique$$vCongrès.
001482453 650_6 $$aLogique informatique$$vCongrès.
001482453 650_0 $$aLogic programming$$vCongresses.$$vCongresses$$0(DLC)sh2008107111
001482453 650_0 $$aComputer logic$$vCongresses.$$vCongresses$$0(DLC)sh2009121216
001482453 650_0 $$aComputer software$$xDevelopment$$vCongresses.
001482453 655_0 $$aElectronic books.
001482453 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001482453 7001_ $$aGlück, R.$$q(Robert),$$d1961-$$eeditor.$$1https://orcid.org/0000-0001-6990-3935$$cRitter von,$$d1714-1787.$$tIphigénie en Aulide$$0(DLC)n  82001188
001482453 7001_ $$aKafle, Bishoksan,$$eeditor.$$0(orcid)0000-0001-5191-1216$$1https://orcid.org/0000-0001-5191-1216
001482453 77608 $$iPrint version: $$z3031457838$$z9783031457838$$w(OCoLC)1396551818
001482453 830_0 $$aLecture notes in computer science ;$$v14330.$$x1611-3349
001482453 852__ $$bebk
001482453 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-45784-5$$zOnline Access$$91397441.1
001482453 909CO $$ooai:library.usi.edu:1482453$$pGLOBAL_SET
001482453 980__ $$aBIB
001482453 980__ $$aEBOOK
001482453 982__ $$aEbook
001482453 983__ $$aOnline
001482453 994__ $$a92$$bISE