001449488 000__ 03282cam\a2200565\i\4500
001449488 001__ 1449488
001449488 003__ OCoLC
001449488 005__ 20230310004403.0
001449488 006__ m\\\\\o\\d\\\\\\\\
001449488 007__ cr\un\nnnunnun
001449488 008__ 220913s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001449488 019__ $$a1344323781
001449488 020__ $$a9783031167676$$q(electronic bk.)
001449488 020__ $$a3031167678$$q(electronic bk.)
001449488 020__ $$z9783031167669$$q(print)
001449488 020__ $$z303116766X
001449488 0247_ $$a10.1007/978-3-031-16767-6$$2doi
001449488 035__ $$aSP(OCoLC)1344337222
001449488 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001449488 049__ $$aISEA
001449488 050_4 $$aQA76.63
001449488 08204 $$a005.1/15$$223/eng/20220913
001449488 1112_ $$aLOPSTR (Symposium)$$n(32nd :$$d2022 :$$cTbilisi, Georgia ; Online)
001449488 24510 $$aLogic-based program synthesis and transformation :$$b32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings /$$cAlicia Villanueva (ed.).
001449488 2463_ $$aLOPSTR 2022
001449488 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001449488 300__ $$a1 online resource (xiii, 155 pages) :$$billustrations (some color).
001449488 336__ $$atext$$btxt$$2rdacontent
001449488 337__ $$acomputer$$bc$$2rdamedia
001449488 338__ $$aonline resource$$bcr$$2rdacarrier
001449488 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13474
001449488 500__ $$aIncludes author index.
001449488 5050_ $$aTesting for Robotic Systems -- Automated Termination and Complexity Analysis -- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting -- Gonnord Confluence Framework: Proving Confluence with CONFident -- Variant-based Equational Anti-unification -- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs -- Building a Join-Optimizer for Souffl´e -- From Infinity to Choreographies: Extraction for Unbounded Systems -- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming -- On Correctness of Normal Logic Programs.
001449488 506__ $$aAccess limited to authorized users.
001449488 520__ $$aThis book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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.
001449488 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 13, 2022).
001449488 650_0 $$aLogic programming$$vCongresses.
001449488 650_0 $$aComputer logic$$vCongresses.
001449488 650_0 $$aComputer software$$xDevelopment$$vCongresses.
001449488 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449488 655_0 $$aElectronic books.
001449488 7001_ $$aVillanueva, Alicia,$$eeditor.$$0(orcid)0000-0003-1090-5009$$1https://orcid.org/0000-0003-1090-5009
001449488 77608 $$iPrint version: $$z303116766X$$z9783031167669$$w(OCoLC)1342102870
001449488 830_0 $$aLecture notes in computer science ;$$v13474.$$x1611-3349
001449488 852__ $$bebk
001449488 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-16767-6$$zOnline Access$$91397441.1
001449488 909CO $$ooai:library.usi.edu:1449488$$pGLOBAL_SET
001449488 980__ $$aBIB
001449488 980__ $$aEBOOK
001449488 982__ $$aEbook
001449488 983__ $$aOnline
001449488 994__ $$a92$$bISE