001446505 000__ 03997cam\a2200565\a\4500
001446505 001__ 1446505
001446505 003__ OCoLC
001446505 005__ 20230310004002.0
001446505 006__ m\\\\\o\\d\\\\\\\\
001446505 007__ cr\un\nnnunnun
001446505 008__ 220507s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001446505 019__ $$a1314258211$$a1314431030$$a1315645135
001446505 020__ $$a9783030994617$$q(electronic bk.)
001446505 020__ $$a3030994619$$q(electronic bk.)
001446505 020__ $$z9783030994600
001446505 020__ $$z3030994600
001446505 0247_ $$a10.1007/978-3-030-99461-7$$2doi
001446505 035__ $$aSP(OCoLC)1314613869
001446505 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dOCLCF$$dOCLCQ$$dUKAHL$$dOCLCQ
001446505 049__ $$aISEA
001446505 050_4 $$aQA76.62
001446505 08204 $$a005.1/14$$223/eng/20220512
001446505 1112_ $$aInternational Symposium on Functional and Logic Programming$$n(16th :$$d2022 :$$cKyoto, Japan)
001446505 24510 $$aFunctional and logic programming :$$b16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings /$$cMichael Hanus, Atsushi Igarashi (eds.).
001446505 2463_ $$aFLOPS 2022
001446505 260__ $$aCham, Switzerland :$$bSpringer,$$c2022.
001446505 300__ $$a1 online resource (298 pages)
001446505 336__ $$atext$$btxt$$2rdacontent
001446505 337__ $$acomputer$$bc$$2rdamedia
001446505 338__ $$aonline resource$$bcr$$2rdacarrier
001446505 4901_ $$aLecture notes in computer science ;$$v13215
001446505 500__ $$aIncludes author index.
001446505 5050_ $$aEnhancing expressivity of checked corecursive streams -- Improving Type Error Reporting for Type Classes -- Asynchronous Unfold/Fold Transformation for Fixpoint Logic -- Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL -- Generating C (System Description) -- Translation Certification for Smart Contracts -- Zipping Strategies and Attribute Grammars -- Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform -- Scheduling Complexity of Interleaving Search -- Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming (System Description) -- A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl) -- Explanations as Programs in Probabilistic Logic Programming -- FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data -- A Lazy Desugaring System for Evaluating Programs with Sugars -- On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.
001446505 506__ $$aAccess limited to authorized users.
001446505 520__ $$aThis book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
001446505 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 12, 2022).
001446505 650_0 $$aFunctional programming (Computer science)$$vCongresses.
001446505 650_0 $$aLogic programming$$vCongresses.
001446505 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001446505 655_0 $$aElectronic books.
001446505 7001_ $$aHanus, Michael,$$d1959-
001446505 7001_ $$aIgarashi, Atsushi$$c(Computer engineer)
001446505 77608 $$iPrint version:$$aHanus, Michael.$$tFunctional and Logic Programming.$$dCham : Springer International Publishing AG, ©2022$$z9783030994600
001446505 830_0 $$aLecture notes in computer science ;$$v13215.
001446505 852__ $$bebk
001446505 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-99461-7$$zOnline Access$$91397441.1
001446505 909CO $$ooai:library.usi.edu:1446505$$pGLOBAL_SET
001446505 980__ $$aBIB
001446505 980__ $$aEBOOK
001446505 982__ $$aEbook
001446505 983__ $$aOnline
001446505 994__ $$a92$$bISE