Functional and Logic Programming: 16th International Symposium, Flops 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

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.

• Format: Paperback
• Language: English
• ISBN: 3030994600
• ISBN13: 9783030994600
• Release Date: March 2022
• Publisher: Springer
• Length: 283 Pages
• Weight: 0.93 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"