Slicing Synchronous Reactive Programs.

Vinod Ganapathy S. Ramesh

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

program slicing
agent architecture
neural network
artificial intelligence
multiscale
computer programs
stable models
image processing
database systems
application programs
control structures
description languages
reactive planning