Deriving descriptions of possible values of program variables by means of abstract interpretation
- 1 July 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 13 (2-3) , 205-258
- https://doi.org/10.1016/0743-1066(92)90032-x
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A type system for logic programsThe Journal of Logic Programming, 1991
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- An application of abstract interpretation of logic programs: Occur check reductionPublished by Springer Nature ,1986
- A polymorphic type system for prologArtificial Intelligence, 1984