Interprocedural slicing of multithreaded programs with applications to Java.
Mangala Gowri NandaS. RameshPublished in: ACM Trans. Program. Lang. Syst. (2006)
Keyphrases
- java programs
- program slicing
- source code
- object oriented languages
- programming language
- multithreading
- lightweight
- java bytecode
- object oriented
- open source
- object oriented programming
- description languages
- java language
- java virtual machine
- mutual exclusion
- program execution
- programming environment
- computer programs
- software components
- database applications
- web applications
- fault localization
- formal verification
- data sets
- programs written
- relational databases
- web services