6740 search results - page 418 / 1348 » Using Classification as a Programming Language |
140
click to vote
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Aspect-oriented programming (AOP) eases the development of profilers, debuggers, and reverse engineering tools. Such tools frequently rely on calling context information. However,...
141
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
This paper presents the results of an exploratory study on the fault-proneness of aspect-oriented programs. We analysed the faults collected from three evolving aspect-oriented sy...
123
click to vote
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
120
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
129
click to vote
ISCOPE
1999
Springer
15 years 8 months ago
1999
Springer
Fill-reducing sparse matrix orderings have been a topic of active research for many years. Although most such algorithms are developed and analyzed within a graph-theoretical frame...