001445134 000__ 03269cam\a2200565Ii\4500
001445134 001__ 1445134
001445134 003__ OCoLC
001445134 005__ 20230310003814.0
001445134 006__ m\\\\\o\\d\\\\\\\\
001445134 007__ cr\un\nnnunnun
001445134 008__ 220315s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001445134 020__ $$a9783030988692$$q(electronic bk.)
001445134 020__ $$a3030988694$$q(electronic bk.)
001445134 020__ $$z9783030988685$$q(print)
001445134 0247_ $$a10.1007/978-3-030-98869-2$$2doi
001445134 035__ $$aSP(OCoLC)1303571397
001445134 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dOCLCO$$dOCLCF$$dUKAHL$$dOCLCQ
001445134 049__ $$aISEA
001445134 050_4 $$aQA76.63
001445134 08204 $$a005.1/15$$223
001445134 1112_ $$aLOPSTR (Symposium)$$n(31st :$$d2021 :$$cTallinn, Estonia ; Online)
001445134 24510 $$aLogic-based program synthesis and transformation :$$b31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings /$$cEmanuele De Angelis, Wim Vanhoof (eds.).
001445134 2463_ $$aLOPSTR 2021
001445134 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001445134 300__ $$a1 online resource (ix, 177 pages) :$$billustrations (some color).
001445134 336__ $$atext$$btxt$$2rdacontent
001445134 337__ $$acomputer$$bc$$2rdamedia
001445134 338__ $$aonline resource$$bcr$$2rdacarrier
001445134 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13290
001445134 500__ $$aIncludes author index.
001445134 5050_ $$aString Abstract Domains and Their Combination. - Data Type Inference for Logic Programming -- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines -- S-semantics - an Example -- Disjunctive Delimited Control -- Towards Substructural Property-Based Testing -- The Next 700 Program Transformers -- Representation and Processing of Instantaneous and Durative Temporal Phenomena -- Pre x-Based Tracing in Message-Passing Concurrency.
001445134 506__ $$aAccess limited to authorized users.
001445134 520__ $$aThis book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
001445134 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 15, 2022).
001445134 650_0 $$aLogic programming$$vCongresses.
001445134 650_0 $$aComputer logic$$vCongresses.
001445134 650_0 $$aComputer software$$xDevelopment$$vCongresses.
001445134 650_6 $$aProgrammation logique$$vCongrès.
001445134 650_6 $$aLogique informatique$$vCongrès.
001445134 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001445134 655_0 $$aElectronic books.
001445134 7001_ $$aDe Angelis, Emanuele,$$eeditor.$$0(orcid)0000-0002-7319-8439$$1https://orcid.org/0000-0002-7319-8439
001445134 7001_ $$aVanhoof, Wim,$$eeditor.$$0(orcid)0000-0003-3769-6294$$1https://orcid.org/0000-0003-3769-6294
001445134 830_0 $$aLecture notes in computer science ;$$v13290.$$x1611-3349
001445134 852__ $$bebk
001445134 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-98869-2$$zOnline Access$$91397441.1
001445134 909CO $$ooai:library.usi.edu:1445134$$pGLOBAL_SET
001445134 980__ $$aBIB
001445134 980__ $$aEBOOK
001445134 982__ $$aEbook
001445134 983__ $$aOnline
001445134 994__ $$a92$$bISE