E-Book, Englisch, Band 13215, 283 Seiten, eBook
Hanus / Igarashi Functional and Logic Programming
1. Auflage 2022
ISBN: 978-3-030-99461-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
E-Book, Englisch, Band 13215, 283 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-99461-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Enhancing 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.