Static Slicing of Reactive Programs.

Aditya Rajeev Kulkarni S. Ramesh

Published in: SCAM (2003)

Keyphrases

program slicing
real time
source code
fixpoint
data sets
prolog programs
computer programs
automatic programming
database
description languages
control program
control structures
dynamic analysis
intermediate level
agent architecture
case study
decision making
information systems
genetic algorithm