000			03782nam a22004335i 4500
999			_c383239 _d383239 _x1
001			383239
003			ES-MaUEC
005			20230102122058.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			221112s2022 sz | s |1|| 0|eng d
020			_a9783030994617
024	7		_a10.1007/978-3-030-99461-7 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.62 _b2022 EB
245	0	0	_aFunctional and Logic Programming : _b16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings _cedited by Michael Hanus, Atsushi Igarashi
250			_aFirst edition 2022
264		1	_aCham _bSpringer International Publising _c2022
300			_a1 recurso en línea (XVI, 283 páginas) _b68 ilustraciones, 14 ilustraciones a color
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_aLecture Notes in Computer Science _x1611-3349 _v13215
505	0		_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.
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.
988			_aSpringer_Computer_2022
650		7	_2embne _9158251 _aProgramación funcional (Informática) _vCongresos y asambleas
650		7	_2embne _9160750 _aProgramación lógica _vCongresos y asambleas
700	1		_aHanus, Michael _eeditor literario _0(orcid)0000-0002-4953-8202 _1https://orcid.org/0000-0002-4953-8202 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aIgarashi, Atsushi _eeditor literario _0(orcid)0000-0002-5143-9764 _1https://orcid.org/0000-0002-5143-9764 _4edt _4http://id.loc.gov/vocabulary/relators/edt
776	0	8	_iPrinted edition: _z9783030994600
776	0	8	_iPrinted edition: _z9783030994624
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-99461-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b11/2022 _dz _eIG _zSI