4725 search results - page 532 / 945 » Dependence-Based Program Analysis |
175
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
201
Voted
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
226
click to vote
ECBS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
203
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
201
click to vote
ICTCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...