400 search results - page 51 / 80 » An Extensible Meta-Model for Program Analysis |
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
Wrappers are mechanisms for introducing new behavior that is executed before and/or after, and perhaps even in lieu of, an existing method. This paper examines several ways to impl...
101
click to vote
POPL
1990
ACM
15 years 3 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
82
Voted
DAC
2005
ACM
15 years 1 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
207
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
110
click to vote
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...