Static Backward Slicing of Non-deterministic Programs and Systems.

Sebastian Danicic Michael R. Laurence

Published in: ACM Trans. Program. Lang. Syst. (2018)

Keyphrases

high level
real time
databases
information retrieval
search engine
case study
expert systems
management system
intelligent systems
program slicing