Functional and Logic Programming

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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Teoria matemática da computação
• Inteligência artificial
• Engenharia do software
• Programação e linguagens de script: geral
• Programação de computadores / desenvolvimento de software
• Análise e projecto de sistemas

architecture verification and validation;artificial intelligence;computer hardware;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;formal logic;functional programming;logic programming;object-oriented programming;parallel processing systems;program compilers;software architecture;software design;software engineering;software quality;verification;verification and validation