4854 search results - page 135 / 971 » It's the Programming, Stupid |
169
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
217
click to vote
ADHOCNOW
2006
Springer
16 years 28 days ago
2006
Springer
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...
187
click to vote
CSMR
2005
IEEE
16 years 17 days ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
181
click to vote
LOPSTR
2005
Springer
16 years 13 days ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
189
click to vote
LOPSTR
2004
Springer
16 years 9 days ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...