6740 search results - page 494 / 1348 » Using Classification as a Programming Language |
145
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
268
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
118
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
131
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
125
Voted
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
There are numerous mechanisms for separation of concerns at the source code level. Three mechanisms that are the focus of recent attention – metadata annotations, pointcuts and a...