Algebra Automata II: The Categorical Framework for Dynamic Analysis

Yehoshafat Give'on Michael A. Arbib

Published in: Inf. Control. (1968)

Keyphrases

dynamic analysis
probabilistic model
lightweight
main contribution
theoretical framework
reverse engineering
static analysis
abstract interpretation
high level
training data
data model
conceptual framework