Login / Signup
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.
Olivier Ridoux
Patrice Boizumault
Frédéric Malésieux
Published in:
Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases
</>
static analysis
dynamic analysis
source code
programming language
expert systems
error rate
knowledge base
symbolic execution
data analysis
knowledge representation
data sets
logic programming
object oriented
abstract interpretation
information extraction
high level
databases