6740 search results - page 400 / 1348 » Using Classification as a Programming Language |
121
click to vote
PPPJ
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic compilers can optimize application code specifically for observed code behavior. Such behavior does not have to be stable across the entire program execution to be bene...
117
click to vote
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
119
click to vote
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
When dense matrix computations are too large to fit in cache, previous research proposes tiling to reduce or eliminate capacity misses. This paper presents a new algorithm for ch...
233
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
145
Voted
PEPM
2009
ACM
16 years 19 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...