1051 search results - page 118 / 211 » Toward Team-Oriented Programming |
FMCO
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
VL
2003
IEEE
14 years 1 months ago
2003
IEEE
End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately,...
PADL
1999
Springer
14 years 4 days ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
IPPS
1997
IEEE
14 years 3 days ago
1997
IEEE
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...
ECIS
2001
13 years 9 months ago
2001
Electronic procurement has been widely embraced by governments seeking the administrative efficiencies and cost reductions experienced in the private sector. The enthusiastic resp...