3 search results - page 1 / 1 » A Denotational Interprocedural Program Slicer |
WCRE
2002
IEEE
13 years 10 months ago
2002
IEEE
FASE
2005
Springer
13 years 10 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
CHARME
1999
Springer
13 years 9 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...