707 search results - page 96 / 142 » Some Comments on the Coding of Programs |
119
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
112
Voted
ENTCS
2007
15 years 16 days ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
117
Voted
ESE
2007
15 years 16 days ago
2007
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
97
Voted
IJPP
2011
14 years 7 months ago
2011
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
125
Voted
ECOOP
2011
Springer
14 years 11 days ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....