Abstract Execution.

Dominic Steinhöfel Reiner Hähnle

Published in: FM (2019)

Keyphrases

high level
artificial intelligence
three dimensional
higher level
execution model
neural network
image processing
data flow
control flow
parallel execution
plan generation