Abstract interpretation based on Alexander Templates
- 1 January 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 15 (1-2) , 31-54
- https://doi.org/10.1016/0743-1066(93)90012-6
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Abstract interpretation: A kind of magicTheoretical Computer Science, 1995
- Bottom-up abstract interpretation of logic programsTheoretical Computer Science, 1994
- Abstract interpretation based on oldt resolutionThe Journal of Logic Programming, 1993
- Magic templates: a spellbinding approach to logic programsThe Journal of Logic Programming, 1991
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- The Alexander Method — A technique for the processing of recursive axioms in deductive databasesNew Generation Computing, 1986
- An amateur's introduction to recursive query processing strategiesACM SIGMOD Record, 1986
- Abstract interpretation of Prolog programsLecture Notes in Computer Science, 1986
- OLD resolution with tabulationPublished by Springer Nature ,1986
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985