3889 search results - page 140 / 778 » The Use of Program Dependence Graphs in Software Engineering |
105
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
121
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
136
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
134
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
150
Voted
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...