Sciweavers

3889 search results - page 41 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
108
Voted
ICSM
2005
IEEE
15 years 8 months ago
A Category-theoretic Approach to Syntactic Software Merging
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...
Nan Niu, Steve M. Easterbrook, Mehrdad Sabetzadeh
ICSE
2003
IEEE-ACM
16 years 2 months ago
Introducing Software Engineering by means of Extreme Programming
This paper reports on experience from teaching basic software engineering concepts by using Extreme Programming in a second year undergraduate course taken by 107 students. We des...
Boris Magnusson, Görel Hedin, Lars Bendix
131
Voted
ICSM
2005
IEEE
15 years 8 months ago
Reducing Build Time through Precompilations for Evolving Large Software
Large-scale legacy programs take long time to compile, thereby hampering productivity. This paper presents algorithms that reduce compilation time by analyzing syntactic dependenc...
Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos, P...
132
Voted
PLDI
1995
ACM
15 years 6 months ago
APT: A Data Structure for Optimal Control Dependence Computation
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
Keshav Pingali, Gianfranco Bilardi
PPDP
2009
Springer
15 years 9 months ago
Dependent type inference with interpolants
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
Hiroshi Unno, Naoki Kobayashi