A Framework for Analysis of Typed Logic Programs (2001)
by
Vitaly Lagoon
,
Peter J. Stuckey
| Venue: | IN PROCEEDINGS OF THE FIFTH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING, VOLUME 2024 OF LECTURE NOTES IN COMPUTER SCIENCE |
| Citations: | 13 - 5 self |
BibTeX
@INPROCEEDINGS{Lagoon01aframework,
author = {Vitaly Lagoon and Peter J. Stuckey},
title = {A Framework for Analysis of Typed Logic Programs},
booktitle = {IN PROCEEDINGS OF THE FIFTH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING, VOLUME 2024 OF LECTURE NOTES IN COMPUTER SCIENCE},
year = {2001},
pages = {296--310},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper presents a novel approach to the analysis of typed logic programs. We assume regular type descriptions of logic program variables provided by regular tree grammars. Types are used to identify components of terms which can be equated during the programs execution. This information is
