001434065 000__ 04784cam\a2200721\i\4500
001434065 001__ 1434065
001434065 003__ OCoLC
001434065 005__ 20230309003708.0
001434065 006__ m\\\\\o\\d\\\\\\\\
001434065 007__ cr\cn\nnnunnun
001434065 008__ 210220s2021\\\\sz\\\\\\ob\\\\101\0\eng\d
001434065 019__ $$a1241066539$$a1243378332$$a1244118494$$a1249943372
001434065 020__ $$a9783030684464$$q(electronic bk.)
001434065 020__ $$a3030684466$$q(electronic bk.)
001434065 020__ $$a3030684458
001434065 020__ $$a9783030684457
001434065 020__ $$z9783030684457
001434065 0247_ $$a10.1007/978-3-030-68446-4$$2doi
001434065 035__ $$aSP(OCoLC)1237868035
001434065 040__ $$aEBLCP$$beng$$erda$$epn$$cEBLCP$$dGW5XE$$dOCLCO$$dDKU$$dDCT$$dOCLCF$$dLEATE$$dUKMGB$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCQ
001434065 049__ $$aISEA
001434065 050_4 $$aQA76.63
001434065 08204 $$a005.1/15$$223
001434065 1112_ $$aLOPSTR (Symposium)$$n(30th :$$d2020 :$$cOnline)
001434065 24510 $$aLogic-Based Program Synthesis and Transformation :$$b30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /$$cMaribel Fernández (ed.).
001434065 24630 $$aLOPSTR 2020
001434065 264_1 $$aCham :$$bSpringer,$$c[2021]
001434065 300__ $$a1 online resource (348 pages)
001434065 336__ $$atext$$btxt$$2rdacontent
001434065 337__ $$acomputer$$bc$$2rdamedia
001434065 338__ $$aonline resource$$bcr$$2rdacarrier
001434065 347__ $$atext file
001434065 347__ $$bPDF
001434065 4901_ $$aLecture notes in computer science ;$$v12561
001434065 4901_ $$aLNCS sublibrary: SL1. Theoretical computer science and general issues
001434065 500__ $$aInternational conference proceedings.
001434065 500__ $$aConference held virtually due to the COVID-19 pandemic.
001434065 500__ $$aIncludes author index.
001434065 504__ $$aIncludes bibliographical references and index.
001434065 5050_ $$aRewriting -- Symbolic Computation in Maude: Some Tapas (Invited Paper) -- Runtime Complexity Analysis of Logically Constrained Rewriting -- Con uence and Commutation for Nominal Rewriting Systems with Atom Variables -- Pattern eliminating transformations -- Unification -- Nominal Uni cation with Letrec and Environment-Variables -- Terminating Non-Disjoint Combined Unification -- Types -- slepice: Towards a Verified Implementation of Type Theory in Type Theory -- Resourceful Program Synthesis from Graded Linear Types -- Verification -- On Constrained Horn Clauses and Program Veri cation (Invited Paper) -- Algorithm Selection for Dynamic Symbolic Execution: a Preliminary Study -- Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines -- Model Checking and Probabilistic Programming -- Generating Functions for Probabilistic Programs -- Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs -- Program Analysis and Testing -- Testing Your (Static Analysis) Truths -- Slicing unconditional jumps with unnecessary control dependencies -- Logics -- A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic -- Synthesis of Modality De nitions and a Theorem Prover for Epistemic Intuitionistic Logic.
001434065 506__ $$aAccess limited to authorized users.
001434065 520__ $$aThis book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.
001434065 588__ $$aDescription based on print version record.
001434065 650_0 $$aLogic programming$$vCongresses.
001434065 650_0 $$aComputer logic$$vCongresses.
001434065 650_0 $$aComputer software$$xDevelopment$$vCongresses.
001434065 650_6 $$aProgrammation logique$$vCongrès.
001434065 650_6 $$aLogique informatique$$vCongrès.
001434065 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001434065 655_7 $$aConference papers and proceedings.$$2lcgft
001434065 655_7 $$aActes de congrès.$$2rvmgf
001434065 655_0 $$aElectronic books.
001434065 7001_ $$aFernández, Maribel.$$eeditor.
001434065 77608 $$iPrint version:$$aFernández, Maribel$$tLogic-Based Program Synthesis and Transformation$$dCham : Springer International Publishing AG,c2021$$z9783030684457
001434065 830_0 $$aLecture notes in computer science ;$$v12561.
001434065 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001434065 852__ $$bebk
001434065 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-68446-4$$zOnline Access$$91397441.1
001434065 909CO $$ooai:library.usi.edu:1434065$$pGLOBAL_SET
001434065 980__ $$aBIB
001434065 980__ $$aEBOOK
001434065 982__ $$aEbook
001434065 983__ $$aOnline
001434065 994__ $$a92$$bISE