3889 search results - page 669 / 778 » The Use of Program Dependence Graphs in Software Engineering |
192
click to vote
FOSSACS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
167
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
167
click to vote
ENTCS
2010
15 years 3 months ago
2010
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
155
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
172
click to vote
IJHPCA
2006
15 years 6 months ago
2006
The purpose of GridSolve is to create the middleware necessary to provide a seamless bridge between the simple, standard programming interfaces and desktop systems that dominate t...