Execution architectures for program algebra.

Jan A. Bergstra Alban Ponse

Published in: J. Appl. Log. (2007)

Keyphrases

program execution
symbolic execution
control flow
execution traces
neural network
computer programs
static analysis
data flow
data model
computational grids
bayesian networks
control program
test cases
source code
programming course
machine learning
data mining