Cost analysis of logic programs
- 1 November 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 15 (5) , 826-875
- https://doi.org/10.1145/161468.161472
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Automatic average-case analysis of algorithmsTheoretical Computer Science, 1991
- Query size estimation by adaptive sampling (extended abstract)Published by Association for Computing Machinery (ACM) ,1990
- Functional computations in logic programsACM Transactions on Programming Languages and Systems, 1989
- Static inference of modes and data dependencies in logic programsACM Transactions on Programming Languages and Systems, 1989
- ACE: an automatic complexity evaluatorACM Transactions on Programming Languages and Systems, 1988
- Some MACSYMA Programs for Solving Recurrence RelationsACM Transactions on Mathematical Software, 1978
- Symbolic Solution of Finite-Difference EquationsACM Transactions on Mathematical Software, 1977
- Estimating the Efficiency of Backtrack ProgramsMathematics of Computation, 1975
- An improved program-synthesizing algorithm and its correctnessCommunications of the ACM, 1974
- Bounds for the chromatic number of a graphJournal of Combinatorial Theory, 1969