Login / Signup
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog.
Olivier Ridoux
Patrice Boizumault
Published in:
J. Funct. Log. Program. (2001)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
abstract interpretation
symbolic execution
real world
knowledge base
data analysis
expert systems
knowledge representation
matching algorithm
test generation
java card