A static analysis of prolog programs.

Hidekazu Matsumoto

Published in: ACM SIGPLAN Notices (1985)

Keyphrases

static analysis
prolog programs
logic programs
dynamic analysis
source code
malicious code
symbolic execution
java card
regular expressions
logic programming
test generation
answer set programming
abstract interpretation
databases
database
software systems
object oriented
data sets