771 search results - page 11 / 155 » Concept Analysis - A New Framework for Program Understanding |
ICLP
1997
Springer
14 years 2 days ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
FLAIRS
2006
13 years 9 months ago
2006
Research indicates that impasse-driven learning can have important benefits for improving student mastery of material. When students recognize gaps in their understanding of a con...
WCRE
2007
IEEE
14 years 2 months ago
2007
IEEE
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...