Sciweavers

3889 search results - page 41 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
ICSM
2005
IEEE
15 years 11 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 6 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
ICSM
2005
IEEE
15 years 11 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...
PLDI
1995
ACM
15 years 9 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
16 years 14 days 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