Determinacy Inference for Logic Programs
No abstract available.
Related papers
- Static Inference of Modes and Data Dependencies in Logic Programs TOPLAS 1989
- Determinacy Testing for Nondeterminate Logic Programming Languages TOPLAS 1994
- Determinacy in static analysis for jQuery OOPSLA 2014
- Dynamic determinacy analysis PLDI 2013
- Efficient parallel determinacy race detection for two-dimensional dags PPoPP 2018
- Functional Programming and the Logical Variable POPL 1985
- Mechanically Proving Determinacy of Hierarchical Block Diagram Translations VMCAI 2019
- Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises ECOOP 2023