Login / Signup
Declarative Intraprocedural Flow Analysis of Java Source Code.
Emma Nilsson-Nyman
Görel Hedin
Eva Magnusson
Torbjörn Ekman
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
flow analysis
information flow
knowledge representation
declarative language
real world
high level
domain independent
data manipulation language
database systems
databases
computer vision
forensic analysis
abductive logic programming