3456 search results - page 658 / 692 » Byte Code Engineering |
154
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
112
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
In a software product line, the binding time of a feature is the time at which one decides to include or exclude a feature from a product. Typical binding site implementations are...
145
click to vote
ISPASS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
111
click to vote
CGO
2008
IEEE
15 years 4 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
128
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...