Login / Signup
An Implementation Technique for the Abstract Interpretation of Prolog.
Annika Wærn
Published in:
ICLP/SLP (1988)
Keyphrases
</>
abstract interpretation
programming language
expert systems
object oriented
logic programming
static analysis
relational databases
knowledge representation
management system
software systems