### Abstract

Information about the computational cost of programs is potentially useful for a variety of purposes, including selecting among different algorithms, guiding program transformations, in granularity control and mapping decisions in parallelizing compilers, and query optimization in deductive databases. Cost analysis of logic programs is complicated by nondeterminism: on the one hand, procedures can return multiple solutions, making it necessary to estimate the number of solutions in order to give nontrivial upper bound cost estimates; on the other hand, the possibility of failure has to be taken into account while estimating lower bounds. Here we discuss techniques to address these problems to some extent.

Original language | English (US) |
---|---|

Title of host publication | Static Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings |

Editors | Baudouin Le Charlier |

Publisher | Springer-Verlag |

Pages | 255-265 |

Number of pages | 11 |

ISBN (Print) | 9783540584858 |

State | Published - Jan 1 1994 |

Event | 1st International Static Analysis Symposium, SAS 1994 - Namur, Belgium Duration: Sep 28 1994 → Sep 30 1994 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 864 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | 1st International Static Analysis Symposium, SAS 1994 |
---|---|

Country | Belgium |

City | Namur |

Period | 9/28/94 → 9/30/94 |

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

## Fingerprint Dive into the research topics of 'Estimating the computational cost of logic programs'. Together they form a unique fingerprint.

## Cite this

*Static Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings*(pp. 255-265). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 864 LNCS). Springer-Verlag.