Sciweavers

4719 search results - page 357 / 944
» Newtonian program analysis
Sort
View
KBSE
2005
IEEE
16 years 7 days ago
On dynamic feature location
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
Rainer Koschke, Jochen Quante
SCAM
2002
IEEE
15 years 11 months ago
Precise Call Graph Construction in the Presence of Function Pointers
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
PASTE
2004
ACM
16 years 2 days ago
Resolving and applying constraint queries on context-sensitive analyses
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
James Ezick
MM
2000
ACM
115views Multimedia» more  MM 2000»
15 years 11 months ago
Associating cooking video with related textbook
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
Reiko Hamada, Ichiro Ide, Shuichi Sakai
SAS
2010
Springer
134views Formal Methods» more  SAS 2010»
15 years 5 months ago
Strictness Meets Data Flow
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
Tom Schrijvers, Alan Mycroft