Towards ANSI C Program Slicing using XML.

Katsuhiko Gondow Hayato Kawashima

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

Keyphrases

program slicing
xml documents
source code
description languages
fault localization
xml data
formal verification
reverse engineering
metadata
relational databases
object oriented
data model
databases
description language
software maintenance
object oriented databases
database
computing environments