Sciweavers

25 search results - page 1 / 5
» A Proposal of a Language-Based Context-Sensitive Programming...
Sort
View
JACIII
2007
53views more  JACIII 2007»
13 years 5 months ago
A Proposal of a Language-Based Context-Sensitive Programming System
Toru Sugimoto, Noriko Ito, Shino Iwashita
SIGSOFT
2003
ACM
14 years 6 months ago
Tracking pointers with path and context sensitivity for bug detection in C programs
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
V. Benjamin Livshits, Monica S. Lam
LOPSTR
2004
Springer
13 years 11 months ago
A Generic Framework for Context-Sensitive Analysis of Modular Programs
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
Germán Puebla, Jesús Correas, Manuel...
UM
2005
Springer
13 years 11 months ago
A Framework of Context-Sensitive Visualization for User-Centered Interactive Systems
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
Eui-Chul Jung, Keiichi Sato
FROCOS
2007
Springer
13 years 11 months ago
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
Beatriz Alarcón, Salvador Lucas