6740 search results - page 571 / 1348 » Using Classification as a Programming Language |
216
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
219
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
141
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
141
Voted
CC
2004
Springer
15 years 10 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
146
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...