Login / Signup
Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures.
Howard E. Shrobe
Published in:
IJCAI (1979)
Keyphrases
</>
real world
data analysis
information technology
image analysis
programming language
statistical analysis
microarray
integrity constraints
quantitative analysis