Mode Analysis of Functional Logic Programs
No abstract available.
Related papers
- Static Inference of Modes and Data Dependencies in Logic Programs TOPLAS 1989
- Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation POPL 2022
- Mode and Termination Checking for Higher-Order Logic Programs ESOP 1996
- Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem APLAS 2024
- Scripted signal functions Haskell 2020
- Dependently-Typed Programming with Logical Equality Reflection ICFP 2023
- A practical mode system for recursive definitions POPL 2021
- Constraint-based termination analysis of logic programs TOPLAS 1999