Improving Control in Functional Logic Program Specialization
Abstract elided by the publisher.
Related papers
- Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs TOPLAS 1998
- A Method for Specializing Logic Programs TOPLAS 1990
- Specialization of Inductively Sequential Functional Logic Programs ICFP 1999
- Static Inference of Modes and Data Dependencies in Logic Programs TOPLAS 1989
- Reducing Nondeterminism while Specializing Logic Programs POPL 1997
- Preface for special section from FLOPS 2014 JFP 2016
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- Partial Evaluation of Functional Logic Programs TOPLAS 1998