3 search results - page 1 / 1 » A Denotational Interprocedural Program Slicer |
WCRE
2002
IEEE
14 years 10 days ago
2002
IEEE
FASE
2005
Springer
14 years 29 days 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 11 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...