1991 search results - page 167 / 399 » Using a Coding Standard to Improve Program Quality |
128
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
128
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
122
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
97
Voted
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
130
Voted
ICPP
1999
IEEE
15 years 6 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...