Static type analysis of prolog procedures for ensuring correctness
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 222-237
- https://doi.org/10.1007/bfb0024187
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Static type analysis of prolog procedures for ensuring correctnessPublished by Springer Nature ,1990
- Abstract interpretation of Prolog programsLecture Notes in Computer Science, 1986
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- A polymorphic type system for prologArtificial Intelligence, 1984