2236 search results - page 388 / 448 » Language Independence and Language Tolerance in Logic Progra... |
169
Voted
AOSD
2008
ACM
15 years 5 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....
125
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
144
Voted
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
137
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
151
Voted
ENTCS
2008
15 years 3 months ago
2008
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an ...