A Static Analysis for Classical Linear Logic Programming Language.

Kyoung-Sun Kang Naoyuki Tamura

Published in: ICLP (1999)

Keyphrases

static analysis
logic programming language
logic programming
dynamic analysis
constraint logic programming
source code
inference rules
abstract interpretation
symbolic execution
regular expressions
java card
declarative semantics
knowledge representation
situation calculus
logic programs
reverse engineering